PairwiseMap.C
type elt = E.t
Type of elements.
val cong : elt -> elt -> bool
Congruence relation on elements.