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