sig
  type t = [ `Top | `Value of typed_offset ]
  val pretty : Format.formatter -> t -> unit
  val append : t -> t -> t
  val join : t -> t -> t
  val of_cil_offset :
    (Cil_types.exp -> Int_val.t) -> Cil_types.typ -> Cil_types.offset -> t
  val of_ival : base_typ:Cil_types.typ -> typ:Cil_types.typ -> Ival.t -> t
  val of_term_offset : Cil_types.typ -> Cil_types.term_offset -> t
  val is_singleton : t -> bool
end