~/jendhub

def start.owner

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursor.bend:76

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

76# Initializes the same bounded encoder without a local cursor handle.
77def start.owner(entry_count: Nat) -> Step:
78  start.counts(None{}, Backup.nat.duplicate.pair(entry_count))

Uses (5)

Used by (1)