Module modus_lib::logic::parser

The parser for the IR is only for convenience in writing tests.

Functions

clause

literal

Parses a literal with a generic term type.

literal_identifier

recognized_span

Creates a parser that returns a SpannedPosition that spans the consumed input of a given parser. Also returns the actual output of the parser.

term

Type Definitions

IResult

Redeclaration that uses ErrorTree instead of the default nom::Error.

Span