module Offset: sig
.. end
include Layout.Data
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 -> cache
val field_offset : cache -> Cil_types.fieldinfo -> int * int
val range : cache -> Layout.offset -> (int * int) * int
val sizeof : Layout.offset -> int