module Cvalues:
module A: M.A
module R: M.R
module D: M.D
module F: M.D.F
type
loc = M.loc
type
m_cell
type
cell = D.abstract
val loc_of_pointer : Ctypes.c_object -> M.D.pointer -> M.loc
val pointer_of_loc : M.loc -> M.D.pointer
val cast_int_to_loc : Ctypes.c_int -> M.D.integer -> Cil_types.typ -> M.loc
val cast_loc_to_int : Cil_types.typ -> M.loc -> Ctypes.c_int -> M.D.integer
type
value =
val logic_of_value : value -> Formula.abstract F.term
val value_of_logic : Ctypes.c_object ->
Formula.abstract F.term -> value
val pp_loc : Format.formatter -> M.loc -> unit
val pp_value : Format.formatter -> value -> unit