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.