alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
module Or : S with type t = bool

op is (||)

module And : S with type t = bool

op is (&&)