Layout.Offset
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
val cache : unit -> cache
val field_offset : cache -> Frama_c_kernel.Cil_types.fieldinfo -> int * int
val sizeof : offset -> int