Documentation

Aesop.RuleSet.Name

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