Module DomainSource

Sourcemodule Apply : sig ... end

Apply combiner

Sourcemodule Compose : sig ... end

Composition combiner

Sourcemodule Domain_switch : sig ... end

Switch combiner

Sourcemodule Partitioning : sig ... end

Partitioning combiner

Sourcemodule Product : sig ... end

Reduced product combiner with n-ary reduction rules

Sourcemodule Simplified_product : sig ... end

Reduced product of simplified (leaf) domains

Sourcemodule Stateless_switch : sig ... end

Switch of stateless domains

Sourcemodule Switch : sig ... end

Switch combiner