Module surface 

Meta-notation-derived textual surface syntax for grammar authoring.

The public parser first runs the input through the existing links-network parse boundary, then lowers the surface tokens into the grammar IR. The LiNo helpers reuse the grammar links codec plus LinkNetwork::to_lino and LinkNetwork::from_lino, so there is still only one canonical network serializer.

Enums

GrammarSurfaceError

Error raised while parsing grammar surface text.

Functions

grammar_from_lino

Decodes a grammar from LiNo text produced by grammar_to_lino.

grammar_to_lino

Encodes a grammar through the existing links codec and serializes it as LiNo.

parse_grammar_surface

Parses meta-notation-derived grammar surface text into the grammar IR.

write_grammar_surface

Lifts a grammar back to canonical surface text.