Sig.Combinermodule Domain : sig ... endExtended domains signatures used by combiners
module Simplified : sig ... endExtended domains signatures used by combiners
module Simplified_functor : sig ... endSimplified interface of functor domains.
module Stacked : sig ... endSignature of stacked combiner domains
module Stateless : sig ... endExtended domains signatures used by combiners