Module Eval_funs

module Eval_funs: sig .. end
Value analysis of entire functions. Nothing is exported, but this module fills Db.Value.compute

Value analysis of entire functions