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