VIEW.VERIFY

复杂度

materialized：O(M)。virtual：O(各叶子的 （log N + 叶子区间） 之和 + M) —— 仅仅为了报出基数就要重新完整求值一次，这是 virtual 视图唯一比 materialized 更贵的场合。

复杂度与兼容性是从 kevy 的实现里读出来的，不是抄 Redis 的文档。有几条确实不一样 —— 它们看起来像笔误，但不是。

与 Redis 的兼容性