EmergingEztoml.doc.open.ok: def of emerging-eztoml@0.9.0.0 Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml Lines 5398-5424 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=5398&end_line=5424 import Base # a forbidden control leaves the span def doc.open.ok( badc: Bool, 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 badc: case True{}: doc.drop(tail, MScan{read.fast.lex(LQ{}, qkind, bad, rows, heads, here, parts, buf, back, stack, uni, left, arrtab, cc)}) case False{}: doc.open.buf(basic, qq, qkind, bad, rows, heads, here, parts, buf, back, stack, uni, left, arrtab, cc, tail) 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.9.0.0/main.bend&name=Ctx https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Lex https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Mode https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=QKind https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=doc.drop https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=doc.open.buf https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fast.lex