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