sig
  type t
  val pretty : Stdlib.Format.formatter -> Abstract_offset.T.t -> unit
  val append :
    Abstract_offset.T.t -> Abstract_offset.T.t -> Abstract_offset.T.t
  val join :
    Abstract_offset.T.t -> Abstract_offset.T.t -> Abstract_offset.T.t
  val of_cil_offset :
    (Cil_types.exp -> Int_val.t) ->
    Cil_types.typ -> Cil_types.offset -> Abstract_offset.T.t
  val of_ival :
    base_typ:Cil_types.typ ->
    typ:Cil_types.typ -> Ival.t -> Abstract_offset.T.t
  val of_term_offset :
    Cil_types.typ -> Cil_types.term_offset -> Abstract_offset.T.t
  val is_singleton : Abstract_offset.T.t -> bool
end