Dummy_All_Basis.Boolean_Backward
val not : (boolean, boolean) Transfer_functions.Backward_Arity.ar1
val (&&) : (boolean, boolean, boolean) Transfer_functions.Backward_Arity.ar2
val (||) : (boolean, boolean, boolean) Transfer_functions.Backward_Arity.ar2