Up – Package index » goblint » Library goblint.lib » Goblint_lib » PartitionDomain

Module `Goblint_lib.PartitionDomain`

Partitioning domains.

module type Collapse = sig ... end

module Set (S : Collapse) : sig ... end

module type CollapseSet = sig ... end

module Make (S : CollapseSet) : sig ... end

module SetSet (Base : Printable.S) : sig ... end

module ExpPartitions : sig ... end