Documentation

Aesop.RuleSet.Name

source
@[reducible, inline]
abbrev Aesop.RuleSetName :
Type
Equations
    Instances For
      source
      def Aesop.defaultRuleSetName :
      RuleSetName
      Equations
        Instances For
          source
          def Aesop.builtinRuleSetName :
          RuleSetName
          Equations
            Instances For
              source
              def Aesop.localRuleSetName :
              RuleSetName
              Equations
                Instances For
                  source
                  def Aesop.builtinRuleSetNames :
                  Array RuleSetName
                  Equations
                    Instances For
                      source
                      def Aesop.RuleSetName.isReserved (n : RuleSetName) :
                      Bool
                      Equations
                        Instances For