alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
Module Alg_structs . Triv
module type S = sig ... end

Triv specifies a module with a single type t.

val make : 'a Alg_structs__Util.proxy -> (module S with type t = 'a0)

make (Proxy : a proxy) is a (module T : S with t = a).