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