Module D.Boolean_Forward

val not : (boolean, boolean) Context_Arity_Forward(Context).ar1

val (&&) : (boolean, boolean, boolean) Context_Arity_Forward(Context).ar2

val (||) : (boolean, boolean, boolean) Context_Arity_Forward(Context).ar2

val true_ : boolean Context_Arity_Forward(Context).ar0

val false_ : boolean Context_Arity_Forward(Context).ar0