~/jendhub

def duplicate_nat_pair_step

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:693

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

693# Copies one natural value into two equal affine outputs.
694def duplicate_nat_pair_step(pair: Nat & Nat) -> Nat & Nat:
695  match pair:
696    case (left, right): (Nat.add(left, 1n), Nat.add(right, 1n))

Uses (4)

Used by (1)