Procname.UnitCache
One-sized cache for one procedure at a time. Returns getter and setter.
val create : unit -> (t -> 'a option) * (t -> 'a -> unit)