BlockOrder.empty: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/BlockOrder.bend as BlockOrder
Lines 10-12 of mylsm-lsm-store@0.6.0.1/src/scan/BlockOrder.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/BlockOrder.bend&start_line=10&end_line=12

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

# Starts a block-order check with the preceding block's last key.
def empty(previous: Maybe<&1, Bytes.Bytes>) -> State:
  State{True{}, previous, 0n}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/BlockOrder.bend&name=State