Module type Blang.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
val or_ : 'a t Core_kernel__.Import.list -> 'a t
n-ary
Or