~/jendhub

def nat.duplicate

mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorCodec.bend:22

import mylsm-lsm-store@0.6.0.1/src/coordinator/CursorCodec.bend as CursorCodec
import Base

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

Uses (4)

Used by (1)