let get_external =
Externals.memo
(fun kf ->
!Value.compute ();
if Kernel_function.is_definition kf then
try
externalize
(Kernel_function.find_return kf)
(Kernel_function.get_definition kf)
(get_internal kf)
with Kernel_function.No_Statement ->
assert false
else
(* assume there is no deref for leaf functions *)
Zone.bottom)