Manifest.read.name.text: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest Lines 222-232 of mylsm-lsm-store@0.6.0.1/src/Manifest.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&start_line=222&end_line=232 import Base import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes def read.name.text( cursor: Bytes.Cursor, limit: Bytes.CursorLimit, name: String, valid: Bool ) -> Bytes.Cursor & Maybe<&2, String>: match valid: case False{}: (Bytes.Cursor.leave(cursor, limit), None{}) case True{}: (Bytes.Cursor.leave(cursor, limit), Some{name}) Uses (8): 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=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Cursor https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Cursor.leave https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=CursorLimit