~/jendhub

def u32.duplicate.result

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

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

27def u32.duplicate.result(pair: Nat & Nat) -> U32 & U32:
28  match pair:
29    case (first, second): (U32.from_nat(first), U32.from_nat(second))

Uses (5)

Used by (1)