Module Sig.Convert_Boolean_Forward

Parameters

module C : Convert_Contexts

module D : With_Boolean_Forward with module Context = C.To

Signature

module C : sig ... end

module F : sig ... end

include 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