List of all items

Structs

• DisjointSets
• StableMap
• ast::Converter
• ast::Decl
• ast::Defs
• ast::Extractor
• ast::Field
• ast::Ident
• ast::IfLet
• ast::LetDef
• ast::Rule
• ast::Type
• ast::Variant
• codegen::CodegenOptions
• error::Errors
• error::Span
• ir::ExprSequence
• ir::InstId
• ir::PatternSequence
• ir::ReturnExpr
• lexer::Lexer
• lexer::Pos
• sema::BoundVar
• sema::ExternalSig
• sema::Field
• sema::FieldId
• sema::IfLet
• sema::Rule
• sema::RuleId
• sema::Sym
• sema::Term
• sema::TermEnv
• sema::TermId
• sema::TypeEnv
• sema::TypeId
• sema::VarId
• sema::Variant
• sema::VariantId
• sema::VisitedExpr
• trie::TrieEdge
• trie_again::BindingId
• trie_again::Rule
• trie_again::RuleSet
• trie_again::TupleIndex

Enums

• ast::Def
• ast::Expr
• ast::Extern
• ast::Pattern
• ast::Pragma
• ast::TypeValue
• error::Error
• ir::ExprInst
• ir::PatternInst
• ir::Value
• lexer::Token
• sema::ConstructorKind
• sema::Expr
• sema::ExtractorKind
• sema::Pattern
• sema::TermKind
• sema::Type
• trie::TrieNode
• trie::TrieSymbol
• trie_again::Binding
• trie_again::Constraint
• trie_again::Overlap

Traits

• sema::ExprVisitor
• sema::PatternVisitor
• sema::RuleVisitor

Macros

• log

Functions

• codegen::codegen
• compile::compile
• compile::from_files
• ir::lower_rule
• overlap::check
• parser::parse
• trie::build_tries
• trie_again::build

Type Definitions

• trie::Prio