Module Complete_Bitvector_Enum.Boolean_Backward

val not : (boolean, boolean) Operator.Backward_Arity.ar1

val (&&) : (boolean, boolean, boolean) Operator.Backward_Arity.ar2

val (||) : (boolean, boolean, boolean) Operator.Backward_Arity.ar2