module FieldUnion:UnionFind
(
FieldElem
)
(
Cilutil.FieldinfoSet
)
(
Cilutil.FieldinfoHashtbl
)
val table : ElemTable.key ElemTable.t
val ranks : int ElemTable.t
val repr : ElemTable.key -> ElemTable.key
val rank : ElemTable.key -> int
val unify : ElemTable.key -> ElemTable.key -> unit
val classes : unit -> ElemSet.t list
val one_class : ElemTable.key -> ElemTable.key list
val same_class : ElemTable.key -> ElemTable.key -> bool