Module mikino_api::parse

Backend parser (SMT-LIB) and frontend parser (requires the parser feature).

Modules

kw

Keywords of the language.

rules

PEG parsing rules, requires the parser feature.

Structs

Parser

Parses its input text.

Smt2Parser

SMT2 stateless var and value parser.

Span

A span in the input text.

Spn

Wraps something with a span.

Functions

fail_if_kw

Fails if ident is a keyword.

is_kw

Yields true if ident is a keyword.

script

Parses a system, requires the parser feature.

trans

Parses a system, requires the parser feature.