~/jendhub

def exact.nat.duplicate

mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:473

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

473def exact.nat.duplicate(value: Nat) -> Nat & Nat:
474  match value:
475    case 0n: (0n, 0n)
476    case 1n+rest: exact.nat.duplicate.step(exact.nat.duplicate(rest))

Uses (4)

Used by (1)