def nat.clone.pair

mylsm-lsm-store@0.6.0.1 · src/ByteSstIo.bend:21

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

import Base

21def nat.clone.pair(value: Nat) -> Nat & Nat:
22  match value:
23    case 0n: (0n, 0n)
24    case 1n+rest: nat.clone.pair.step(nat.clone.pair(rest))

Uses (4)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/ByteSstIo:path.clone.pair.build