Frama-C API - Abstract_offset
type t = | NoOffset of Frama_c_kernel.Cil_types.typ| Index of Eva_ast.exp option * Frama_c_kernel.Int_val.t * Frama_c_kernel.Cil_types.typ * t| Field of Frama_c_kernel.Cil_types.fieldinfo * t
val pretty : Stdlib.Format.formatter -> t -> unitval of_var_address : Frama_c_kernel.Cil_types.varinfo -> tval of_eva_offset : (Eva_ast.exp -> Frama_c_kernel.Int_val.t) -> Frama_c_kernel.Cil_types.typ -> Eva_ast.offset -> t Frama_c_kernel.Lattice_bounds.or_topval of_ival : base_typ:Frama_c_kernel.Cil_types.typ -> typ:Frama_c_kernel.Cil_types.typ -> Frama_c_kernel.Ival.t -> t Frama_c_kernel.Lattice_bounds.or_topval of_term_offset : Frama_c_kernel.Cil_types.typ -> Frama_c_kernel.Cil_types.term_offset -> t Frama_c_kernel.Lattice_bounds.or_topval is_singleton : t -> boolval references : t -> Frama_c_kernel.Cil_datatype.Varinfo.Set.tval join : t -> t -> t Frama_c_kernel.Lattice_bounds.or_topval add_index : (Eva_ast.exp -> Frama_c_kernel.Int_val.t) -> t -> Eva_ast.exp -> t Frama_c_kernel.Lattice_bounds.or_top