List of all items

Structs

• ast::Converter
• ast::Decl
• ast::Defs
• ast::Extractor
• ast::Field
• ast::Ident
• ast::IfLet
• ast::LetDef
• ast::Rule
• ast::Type
• ast::Variant
• codegen::CodegenOptions
• disjointsets::DisjointSets
• error::Errors
• error::Span
• 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::TermFlags
• sema::TermId
• sema::TypeEnv
• sema::TypeId
• sema::VarId
• sema::Variant
• sema::VariantId
• sema::VisitedExpr
• serialize::Block
• serialize::EvalStep
• serialize::MatchArm
• stablemapset::StableMap
• stablemapset::StableSet
• 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
• lexer::Token
• sema::ConstructorKind
• sema::Expr
• sema::ExtractorKind
• sema::Pattern
• sema::ReturnKind
• sema::TermKind
• sema::Type
• serialize::ControlFlow
• 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
• overlap::check
• parser::parse
• serialize::serialize
• trie_again::build