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))