Module Cvalue_type.Model


module Model: sig .. end

include struct ... end
type y = Cvalue_type.V.t 
val pretty_c_assert : Format.formatter -> tt -> unit
val find_unspecified : with_alarms:CilE.warn_mode ->
t -> Locations.location -> Cvalue_type.Partial_lmap.y
val find : conflate_bottom:bool ->
with_alarms:CilE.warn_mode -> t -> Locations.location -> Cvalue_type.V.t
val add_binding_unspecified : t -> Locations.location -> t
val add_binding : with_alarms:CilE.warn_mode ->
exact:bool -> t -> Locations.location -> Cvalue_type.V.t -> t
val reduce_binding : with_alarms:CilE.warn_mode -> t -> Locations.location -> Cvalue_type.V.t -> t
val create_initial : base:Base.t ->
v:Cvalue_type.V.t -> modu:Abstract_interp.Int.t -> state:t -> t