~/jendhub

def u32.duplicate.pair

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

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

81def u32.duplicate.pair(value: U32) -> U32 & U32:
82  u32.duplicate.pair.result(nat.duplicate.pair(U32.to_nat(value)))

Uses (5)

Used by (5)