You can search for identifiers within the package.
in-package search v0.2.0
goblint.domain
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