Numeric.Boolean_Forward
val not : (boolean, boolean) Domains.Domain_sig.Context_Arity_Forward(Context).ar1
val (&&) : (boolean, boolean, boolean) Domains.Domain_sig.Context_Arity_Forward(Context).ar2
val (||) : (boolean, boolean, boolean) Domains.Domain_sig.Context_Arity_Forward(Context).ar2
val true_ : boolean Domains.Domain_sig.Context_Arity_Forward(Context).ar0
val false_ : boolean Domains.Domain_sig.Context_Arity_Forward(Context).ar0