Offset (frama-c-wp.Wp.Layout.Offset)

include Data with type t = offset

type t = offset

val equal : t -> t -> bool

val compare : t -> t -> int

val pretty : t Frama_c_kernel.Pretty_utils.formatter

val index : Frama_c_kernel.Cil_types.typ -> offset

val field : Frama_c_kernel.Cil_types.fieldinfo -> offset

val typeof : offset -> Frama_c_kernel.Cil_types.typ

val typeof_chain : 
  Frama_c_kernel.Cil_types.typ ->
  offset list ->
  Frama_c_kernel.Cil_types.typ

val pp_chain : 
  Frama_c_kernel.Cil_types.typ ->
  offset list Frama_c_kernel.Pretty_utils.formatter

type cache

val cache : unit -> cache

val field_offset : cache -> Frama_c_kernel.Cil_types.fieldinfo -> int * int

val range : cache -> offset -> (int * int) * int

val sizeof : offset -> int