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