Module rewrite 

Session-registered rewrite rules for aggregate-backed stats expressions.

Traits

StatsRewriteRule

A plugin-provided rule for predicates whose root scalar function matches this rule.

Functions

falsify

Rewrite expr into a stats-backed falsifier.

satisfy

Rewrite expr into a stats-backed satisfier.

Type Aliases

StatsRewriteRuleRef

Shared reference to a stats rewrite rule.