alg_structs

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