Module Eva.Eval

module Eval: sig .. end

type cacheable = 
| Cacheable (*

Functions whose result can be safely cached.

*)
| NoCache (*

Functions whose result should not be cached, but for which the caller can still be cached. Typically, functions printing something during the analysis.

*)
| NoCacheCallers (*

Functions for which neither the call, neither the callers, can be cached.

*)

Can the results of a function call be cached with memexec?