let
get_external =
Externals
.memo (
fun
kf
->
externalize kf.fundec (get_internal kf))