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