Module 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?