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