module ValueOutputs:Datatype.Pair
(
Datatype.List
(
Datatype.Pair
(
Datatype.Option
(
Cvalue.V_Offsetmap
)
)
(
Cvalue.Model
)
)
)
(
Base.SetLattice
)
Value_types.call_res
cloberred set for local variables
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
x
and copy x
.