Crate apif_optimizer 

Modules

rule_ids

Structs

OptimizationHint

Enums

OptimizeLevel

RuleId

Functions

collect_assertion_optimizations

rewrite_assertion_expression

rewrite_assertion_expression_fixed_point

rewrite_assertion_expression_fixed_point_if_changed

rewrite_assertion_expression_fixed_point_if_changed_with_level

rewrite_assertion_expression_fixed_point_with_level

rewrite_assertion_expression_with_level