Module Sig.Convert_Boolean_ForwardSource

Parameters

module D : With_Boolean_Forward with module Context = C.To

Signature

Sourcemodule C : sig ... end
Sourcemodule F : sig ... end
include sig ... end
Sourcetype boolean = F.boolean
Sourceval true_ : boolean C.To_Arity.ar0
Sourceval false_ : boolean C.To_Arity.ar0