Module Combiners.Domain

module Apply : sig ... end

Apply combiner

module Compose : sig ... end

Composition combiner

module Domain_switch : sig ... end

Switch combiner

module Partitioning : sig ... end

Partitioning combiner

module Product : sig ... end

Reduced product combiner with n-ary reduction rules

module Simplified_product : sig ... end

Reduced product of simplified (leaf) domains

module Stateless_switch : sig ... end

Switch of stateless domains

module Switch : sig ... end

Switch combiner