Documentation

Aesop.Builder.Default

source
def Aesop.RuleBuilder.default :
RuleBuilder
Equations
    Instances For
      source
      def Aesop.RuleBuilder.default.err (ruleType : String) :
      RuleBuilderInput → ElabM LocalRuleSetMember
      Equations
        Instances For