Module Convert_to_monadic.Boolean_Forward

type boolean = D.boolean

val not : (boolean, boolean) Conversion.To_Arity.ar1

val (&&) : (boolean, boolean, boolean) Conversion.To_Arity.ar2

val (||) : (boolean, boolean, boolean) Conversion.To_Arity.ar2

val true_ : boolean Conversion.To_Arity.ar0

val false_ : boolean Conversion.To_Arity.ar0