module Model: sig
.. end
include struct ... end
type
y = Cvalue_type.V.t
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