alg_structs

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

Make (S) is a semigroup where op a b is...