include Constructors
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
val (&&) : 'a t ‑> 'a t ‑> 'a t
val (||) : 'a t ‑> 'a t ‑> 'a t
val (==>) : 'a t ‑> 'a t ‑> 'a t
a ==> b is "a implies b". This is not => to avoid making it look like a comparison operator.
a ==> b
=>
val not : 'a t ‑> 'a t