alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
Module Alg_structs . Monoid . Dual
module Make (M : S) : S with type t = M.t
val dualize : (module S with type t = 'a) -> (module S with type t = 'a)

dualize m creates a first-class module that is the dual of the first-class module m.