@[inline, reducible]

abbrev Aesop.RuleSetExtension : Type

An environment extension containing an Aesop rule set. Each rule set has its own extension.

Equations

• Aesop.RuleSetExtension = Lean.SimpleScopedEnvExtension Aesop.RuleSetMember Aesop.RuleSet

opaque Aesop.aesopExtensionsMapRef : IO.Ref (Lean.HashMap Lean.Name Aesop.RuleSetExtension)