alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
Module Alg_structs . Monoid . Bool
module Or : S with type t = bool

op is (||) and unit is false ...

module And : S with type t = bool

op is (&&) and unit is true