alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
module Make (S : Semigroup.S) : S with type t = S.t Option.t