sig
  type t = offset
  val equal : t -> t -> bool
  val compare : t -> t -> int
  val pretty : t Pretty_utils.formatter
  val index : Cil_types.typ -> Layout.offset
  val field : Cil_types.fieldinfo -> Layout.offset
  val typeof : Layout.offset -> Cil_types.typ
  val typeof_chain : Cil_types.typ -> Layout.offset list -> Cil_types.typ
  val pp_chain : Cil_types.typ -> Layout.offset list Pretty_utils.formatter
  type cache
  val cache : unit -> Layout.Offset.cache
  val field_offset : Layout.Offset.cache -> Cil_types.fieldinfo -> int * int
  val range : Layout.Offset.cache -> Layout.offset -> (int * int) * int
  val sizeof : Layout.offset -> int
end