Module CombinerSource

Sourcemodule Domain : sig ... end

Extended domains signatures used by combiners

Sourcemodule Simplified : sig ... end

Extended domains signatures used by combiners

Sourcemodule Simplified_functor : sig ... end

Simplified interface of functor domains.

Sourcemodule Stacked : sig ... end

Signature of stacked combiner domains

Sourcemodule Stateless : sig ... end

Extended domains signatures used by combiners