def plan

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

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

import Base

42def plan(+need: Nat) -> Plan:
43  match need:
44    case 0n:
45      Plan{0n, 0n}
46    case 1n+n:
47      plan_go(need, need, 1n, 0n, Nat.is_le(need, 1n))

Uses (4)

Used by (1)

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