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

val if_ : 'a t -> 'a t -> 'a t -> 'a t

if_ if then else