Filter

📁 Source: Aesop/RuleSet/Filter.lean

Statistics

Metric	Count
Definitions RuleFilter, builders, matches, matchesBuilder, matchesLocalNormSimpRule?, matchesPhase, matchesSimpTheorem?, name, phases, scope, RuleSetNameFilter, all, matchedRuleSetNames, matches, matchesAll, ns	16
Theorems	0
Total	16

Aesop

Definitions

Name	Category	Theorems
RuleFilter 📖	CompData	—
RuleSetNameFilter 📖	CompData	—

Aesop.RuleFilter

Definitions

Name	Category	Theorems
builders 📖	CompOp	—
matches 📖	CompOp	—
matchesBuilder 📖	CompOp	—
matchesLocalNormSimpRule? 📖	CompOp	—
matchesPhase 📖	CompOp	—
matchesSimpTheorem? 📖	CompOp	—
name 📖	CompOp	—
phases 📖	CompOp	—
scope 📖	CompOp	—

Aesop.RuleSetNameFilter

Definitions

Name	Category	Theorems
all 📖	CompOp	—
matchedRuleSetNames 📖	CompOp	—
matches 📖	CompOp	—
matchesAll 📖	CompOp	—
ns 📖	CompOp	—

---

← Back to Index