Domain.ComposeSourceComposition combiner
The composition of domains 𝒟₁∘𝒟₂ is similar to function composition as it produces a stack λ𝒟.𝒟₁(𝒟₂(𝒟))
module Make
(D1 : Sig.Combiner.Stacked.STACKED_COMBINER)
(D2 : Sig.Combiner.Stacked.STACKED_COMBINER) :
Sig.Combiner.Stacked.STACKED_COMBINER with type t = D1.t * D2.tCompose two domains
val make :
(module Sig.Combiner.Stacked.STACKED_COMBINER) list ->
(module Sig.Combiner.Stacked.STACKED_COMBINER)Compose a list of domains