~/jendhub

def seek.block.indices.quad.first

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:565

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

565def seek.block.indices.quad.first(
566  firsts: Nat & Nat,
567  second: Nat,
568  third: Nat
569) -> U32 & (U32 & (U32 & U32)):
570  match firsts:
571    case (first, first_copy):
572      (U32.from_nat(first), (U32.from_nat(first_copy),
573        (U32.from_nat(second), U32.from_nat(third))))

Uses (5)

Used by (1)