sig
val table : Cilutil.FieldinfoHashtbl.key Cilutil.FieldinfoHashtbl.t
val ranks : int Cilutil.FieldinfoHashtbl.t
val repr : Cilutil.FieldinfoHashtbl.key -> Cilutil.FieldinfoHashtbl.key
val rank : Cilutil.FieldinfoHashtbl.key -> int
val unify :
Cilutil.FieldinfoHashtbl.key -> Cilutil.FieldinfoHashtbl.key -> unit
val classes : unit -> Cilutil.FieldinfoSet.t list
val one_class :
Cilutil.FieldinfoHashtbl.key -> Cilutil.FieldinfoHashtbl.key list
val same_class :
Cilutil.FieldinfoHashtbl.key -> Cilutil.FieldinfoHashtbl.key -> bool
end