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?