Domain.SwitchSourceSwitch combiner
A switch combination 𝒟₁;𝒟₂ creates a cartesian product in which 𝒟₁ is given higher priority than 𝒟₂. Transfer functions of 𝒟₁ are called first, and if no answer is returned 𝒟₂ is called.
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.tCreate a switch of two domains
val make :
(module Sig.Combiner.Stacked.STACKED_COMBINER) list ->
(module Sig.Combiner.Stacked.STACKED_COMBINER)Create a switch of a list of domains