~/jendhub

def path.clone.pair.scalar

mylsm-lsm-store@0.6.0.1 · src/ByteSstIo.bend:26

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

26def path.clone.pair.scalar(
27  first: String,
28  second: String,
29  scalars: Nat & Nat
30) -> String & String:
31  match scalars:
32    case (left, right):
33      (SCon{Chr{U32.from_nat(left)}, first},
34        SCon{Chr{U32.from_nat(right)}, second})

Uses (6)

Used by (1)