Domain.Stateless_switchSourceSwitch of stateless domains
module Make
(D1 : Sig.Combiner.Stateless.STATELESS_COMBINER)
(D2 : Sig.Combiner.Stateless.STATELESS_COMBINER) :
Sig.Combiner.Stateless.STATELESS_COMBINERCombine two stateless domains
val make :
(module Sig.Combiner.Stateless.STATELESS_COMBINER) list ->
(module Sig.Combiner.Stateless.STATELESS_COMBINER)Combine a list of stateless domains