Conversions.Convert_Boolean_Forward
module C : Conversion
module F : sig ... end
type boolean = F.boolean
val not : (boolean, boolean) C.To_Arity.ar1
val (&&) : (boolean, boolean, boolean) C.To_Arity.ar2
val (||) : (boolean, boolean, boolean) C.To_Arity.ar2
val true_ : boolean C.To_Arity.ar0
val false_ : boolean C.To_Arity.ar0