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