Convert_Boolean_Forward.FSourceinclude module type of struct include D endtype boolean = D.booleanmodule Context = D.Contextmodule Boolean_Forward = D.Boolean_Forwardinclude module type of struct include D.Boolean_Forward endval not : (D.boolean, D.boolean) Context_Arity_Forward(D.Context).ar1val (&&) :
(D.boolean, D.boolean, D.boolean) Context_Arity_Forward(D.Context).ar2val (||) :
(D.boolean, D.boolean, D.boolean) Context_Arity_Forward(D.Context).ar2val true_ : D.boolean Context_Arity_Forward(D.Context).ar0val false_ : D.boolean Context_Arity_Forward(D.Context).ar0