package goblint

You can search for identifiers within the package.

in-package search v0.2.0

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