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