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.