Convert_Boolean_Forward.F
include module type of struct include D end
type boolean = D.boolean
module Context = D.Context
module Boolean_Forward = D.Boolean_Forward
include module type of struct include D.Boolean_Forward end
val not : (D.boolean, D.boolean) Context_Arity_Forward(D.Context).ar1
val (&&) :
(D.boolean, D.boolean, D.boolean) Context_Arity_Forward(D.Context).ar2
val (||) :
(D.boolean, D.boolean, D.boolean) Context_Arity_Forward(D.Context).ar2
val true_ : D.boolean Context_Arity_Forward(D.Context).ar0
val false_ : D.boolean Context_Arity_Forward(D.Context).ar0