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