goblint.lib
PairwiseMap.C
goblint.sites
goblint.timing
goblint_sites_dune
goblint_sites_js
type elt = E.t
Type of elements.
val cong : elt -> elt -> bool
Congruence relation on elements.