Module Mem_exec.ValueOutputs

module ValueOutputs: Datatype.S  with type t =
  (Cvalue.V_Offsetmap.t option * Cvalue.Model.t) list (** states *) *
  Base.SetLattice.t
Subtype of Value_types.call_res

cloberred set for local variables


include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Deep copy: no possible sharing between x and copy x.