Module Domain_sig.Convert_Boolean_Forward

Parameters

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 false_ : boolean C.To_Arity.ar0