Eva.Eval
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?