let
externalize kf x =
Zone
.filter_base (
Db
.accept_base ~with_formals:
false
~with_locals:
false
kf) x