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