let
test e t f =
Why_ops
.pif (tcond e, t, f)