List of all items

Structs

• Bfs
• Boolean
• ConditionCode
• Constant
• Dfs
• Integer
• Lhs
• Operation
• Optimization
• Optimizations
• Precondition
• Unquote
• Variable
• VerifyError

Enums

• Constraint
• ConstraintOperand
• DynAstRef
• Pattern
• Rhs
• TraversalEvent
• ValueLiteral

Traits

• Ast
• ChildNodes
• Span

Functions

• automatize
• compile_file
• compile_str
• linearize
• match_in_same_order
• remove_unnecessary_nops
• sort_least_to_most_general
• sort_lexicographically
• verify

Type Aliases

• VerifyResult