module type Values =sig
..end
include Mvalues.Model
type
value =
| |
V_int of |
| |
V_float of |
| |
V_pointer of |
| |
V_record of |
| |
V_union of |
| |
V_array of |
val pp_value : Format.formatter -> value -> unit
val logic_of_value : value -> D.abstract
val value_of_logic : Ctypes.c_object -> D.abstract -> value