EmergingEztoml.doc.open.buf: def of emerging-eztoml@0.10.0.0 Import: import emerging-eztoml@0.10.0.0/main.bend as EmergingEztoml Lines 5371-5396 of emerging-eztoml@0.10.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.10.0.0/main.bend&start_line=5371&end_line=5396 import Base # an empty buffer starts a span; a buffer already in use stays on the old path def doc.open.buf( basic: Bool, qq: Char, qkind: QKind, bad: String, rows: List<&2, Val>, heads: List<&2, String>, here: List<&2, String>, parts: List<&2, String>, buf: List<&2, Char>, back: Lex, stack: List<&2, Ctx>, uni: U32, left: U32, arrtab: Bool, cc: Char, tail: String ) -> Mode: match buf: case []: doc.open.eat(back, MEat{basic, qq, SCon{cc, tail}, 1, bad, rows, heads, here, parts, qkind, stack, uni, left, arrtab}) case h <> t: doc.drop(tail, MScan{read.fast.lex(LQ{}, qkind, bad, rows, heads, here, parts, h <> t, back, stack, uni, left, arrtab, cc)}) Uses (13): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=Ctx https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=Lex https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=Mode https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=QKind https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=Val https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=doc.drop https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=doc.open.eat https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=read.fast.lex