def nat.duplicate.pair.step

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

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

import Base

68def nat.duplicate.pair.step(pair: Nat & Nat) -> Nat & Nat:
69  match pair:
70    case (left, right): (Nat.add(1n, left), Nat.add(1n, right))

Uses (4)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/transfer/Backup:nat.duplicate.pair