List of all items

Structs

• ast::Bound
• ast::Decl
• ast::Def
• ast::LetInstance
• ast::Module
• ast::Param
• error::Error
• token::Token

Enums

• ast::ExceptPath
• ast::Expr
• ast::QuantKind
• ast::Unit
• error::Stage
• token::Kw
• token::Op
• token::Tok

Functions

• lex
• parse_expression
• parse_expression_bounded
• parse_module
• parse_module_bounded

Type Aliases

• error::Result

Constants

• DEFAULT_NESTING_LIMIT