Crate apif_optimizer

Modules§

collect_assertion_optimizations
register_extra_boolean_plugins: Register .rhai plugin names that are safe to treat as boolean/pure for rewrite purposes (i.e. loaded plugins whose signature() reports return_type: Bool and safe_for_rewrite/deterministic/idempotent: true — the @pure+@returns bool doc-tag combination). Must be called before the first optimizer pass of the run — later calls are no-ops.
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