~/jendhub

def nat.duplicate.step

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

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

18def nat.duplicate.step(pair: Nat & Nat) -> Nat & Nat:
19  match pair:
20    case (first, second): (Nat.add(1n, first), Nat.add(1n, second))

Uses (4)

Used by (1)