~/jendhub

def walk.nat.clone.pair

mylsm-lsm-store@0.6.0.1 · src/transfer/LegacyWal.bend:78

import mylsm-lsm-store@0.6.0.1/src/transfer/LegacyWal.bend as LegacyWal
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend as QueuePolicy

78def walk.nat.clone.pair(pair: Nat & Nat) -> Nat & Nat & Nat:
79  match pair:
80    case (first, remainder):
81      walk.nat.clone.remainder(first,
82        QueuePolicy.nat.clone.pair(remainder))

Uses (5)

Used by (1)