Module Mem_exec.ValueOutputs

module ValueOutputs: Datatype.Pair(Datatype.List(Datatype.Pair(Datatype.Option(Cvalue.V_Offsetmap))(Cvalue.Model)))(Base.SetLattice)
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.