alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
Module Alg_structs . Monoid . Endo
module Make (T : Triv.S) : S with type t = T.t -> T.t
val make : 'a Alg_structs__Util.proxy -> (module S with type t = 'a -> 'a)