Domain_sig.Convert_Boolean_Forward
module C : Convert_Contexts
module D : With_Boolean_Forward with module Context = C.To
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