Documentation

Lean.Elab.Deriving.Ord

Equations
    Instances For
      def Lean.Elab.Deriving.Ord.mkMatch.mkAlts (indVal : InductiveVal) :
      TermElabM (Array (TSyntax `Lean.Parser.Term.matchAlt))
      Equations
        Instances For