Documentation

Lean.Elab.Deriving.Hashable

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