~/jendhub

def next.selected.end

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

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

1673def next.selected.end(file: File) -> IO(Result<&1, &1, U32 & String, Step>):
1674  do IO<Result<&1, &1, U32 & String, Step>>:
1675    _closed : Unit <- File.close(file)
1676    return Done{End{}}

Uses (11)

Used by (1)