Module `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

Module Convert_Boolean_Forward.F