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