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