Documentation

Lean.Meta.Tactic.Grind.Parser

Builtin parsers for grind related commands

source
def Lean.Parser.Command.grindPattern :
Parser
Equations
    Instances For
      source
      def Lean.Parser.Command.initGrindNorm :
      Parser
      Equations
        Instances For