Module Conversions.Convert_Boolean_Forward

Parameters

module C : Conversion

module F : sig ... end

Signature

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