def empty_metadata_ok

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

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

import Base

242def empty_metadata_ok(words: Nat, capacity: Nat, height: Nat) -> Bool:
243  Bool.and(Nat.is_eq(words, 0n), Bool.and(Nat.is_eq(capacity, 0n), Nat.is_eq(height, 0n)))

Uses (4)

Used by (1)

mylsm-lsm-store@0.3.2.0/src/BitTree:well_formed