BlockRoutePolicy.Search: type of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/scan/BlockRoutePolicy.bend as BlockRoutePolicy Lines 6-8 of mylsm-lsm-store@0.6.0.1/src/scan/BlockRoutePolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/BlockRoutePolicy.bend&start_line=6&end_line=8 import Base # Holds the binary-search interval and latest eligible block ordinal. type Search is Data: Search{low: Nat, high: Nat, best: Nat} Uses (1): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat