Module Evaluation.S.Valuation

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.