List of all items

Structs

• Config
• annotations::AnnotationEnv
• annotations::ParsingEnv
• interp::Assumption
• interp::Context
• solver::RuleCtx
• solver::SolverCtx
• type_inference::AnnotationTypeInfo
• type_inference::RuleSemantics
• type_inference::TypeVarNode

Enums

• type_inference::TypeVarConstruct

Functions

• annotations::parse_annotations
• annotations::spec_to_annotation_bound_var
• solver::run_solver
• solver::run_solver_with_static_widths
• solver::test_concrete_with_static_widths
• termname::pattern_contains_termname
• type_inference::type_rules_with_term_and_types
• verify::verify_rules
• verify::verify_rules_for_term

Constants

• FLAGS_WIDTH
• MAX_WIDTH
• REG_WIDTH
• WIDTHS