~/jendhub

def same_metadata

mylsm-lsm-store@0.3.2.0 · src/BitTree.bend:93

import mylsm-lsm-store@0.3.2.0/src/BitTree.bend as BitTree
import Base

93def same_metadata(+ta: BitTree, +tb: BitTree) -> Bool:
94  Bool.and(
95    Nat.is_eq(word_count(ta), word_count(tb)),
96    Bool.and(
97      Nat.is_eq(capacity_words(ta), capacity_words(tb)),
98      Nat.is_eq(tree_height(ta), tree_height(tb))))

Uses (7)

Used by (0)

No other definition uses this definition.