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