module Valuation: Valuation
with type value = value
and type origin = origin
and type loc = loc
Results of an evaluation: the results of all intermediate calculation (the
value of each expression and the location of each lvalue) are cached here.
See for more details.