module ValueOutputs:Datatype.S
with type t = (Cvalue.V_Offsetmap.t option * Cvalue.Model.t) list (** states *) * Base.SetLattice.t
Value_types.call_res
cloberred set for local variables
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
x
and copy x
.