def duplicate_nat_pair

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:698

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

import Base

698# Reifies one natural number as two independently owned values.
699def duplicate_nat_pair(value: Nat) -> Nat & Nat:
700  match value:
701    case 0n: (0n, 0n)
702    case 1n+rest: duplicate_nat_pair_step(duplicate_nat_pair(rest))

Uses (4)

Used by (3)