~/jendhub

def empty_metadata_ok

mylsm-lsm-store@0.6.0.1 · src/BitTree.bend:240

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

240# Check whether whether metadata ok holds for the packed bit-tree operations.
241def empty_metadata_ok(words: Nat, capacity: Nat, height: Nat) -> Bool:
242  Bool.and(Nat.is_eq(words, 0n), Bool.and(Nat.is_eq(capacity, 0n), Nat.is_eq(height, 0n)))

Uses (4)

Used by (1)