~/jendhub

def nat.duplicate.go

mylsm-lsm-store@0.6.0.1 · src/scan/Snapshot.bend:189

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

189def nat.duplicate.go(value: Nat, first: Nat, second: Nat) -> Nat & Nat:
190  match value:
191    case 0n: (first, second)
192    case 1n+rest:
193      nat.duplicate.go(rest, Nat.add(1n, first), Nat.add(1n, second))

Uses (4)

Used by (1)