val base : 'a ‑> 'a t
val true_ : _ t
val false_ : _ t
val constant : Core_kernel__.Import.bool ‑> _ t
function true -> true_ | false -> false_
val not_ : 'a t ‑> 'a t
val and_ : 'a t Core_kernel__.Import.list ‑> 'a t
n-ary And
And
val or_ : 'a t Core_kernel__.Import.list ‑> 'a t
n-ary Or
Or
val if_ : 'a t ‑> 'a t ‑> 'a t ‑> 'a t
if_ if then else