def nat.duplicate.pair

mylsm-lsm-store@0.6.0.1 · src/coordinator/Protocol.bend:271

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

import Base

271# Copies a natural directly without recursion on its numeric value.
272def nat.duplicate.pair(+value: Nat) -> Nat & Nat:
273  (value, value)

Uses (3)

Used by (2)