let get_external =
  Externals.memo
    (fun kf ->
      Zone.filter_base
        (Db.accept_base ~with_formals:false kf)
        (get_internal kf))