val base : 'a -> 'a t
val true_ : _ t
val false_ : _ t
val constant : Base.Bool.t -> _ t
function true -> true_ | false -> false_
val not_ : 'a t -> 'a t
val and_ : 'a t Base.List.t -> 'a t
n-ary
And
val or_ : 'a t Base.List.t -> 'a t
n-ary
Or
Blang.Constructors