~/jendhub

def u32.duplicate.pair.result

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

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

77def u32.duplicate.pair.result(pair: Nat & Nat) -> U32 & U32:
78  match pair:
79    case (left, right): (U32.from_nat(left), U32.from_nat(right))

Uses (5)

Used by (1)