Ondemand.LocalCache
val clear : unit -> unit
Empty the cache of ondemand results
val remove : IR.Procname.t -> unit
Remove an element from the cache of ondemand results