def nat.duplicate.pair

mylsm-lsm-store@0.6.0.1 · src/transfer/Backup.bend:72

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

import Base

72def nat.duplicate.pair(value: Nat) -> Nat & Nat:
73  match value:
74    case 0n: (0n, 0n)
75    case 1n+rest: nat.duplicate.pair.step(nat.duplicate.pair(rest))

Uses (4)

Used by (7)