# Documentation

Lean.Elab.ElabRules

def Lean.Elab.Command.withExpectedType (expectedType? : ) :
Equations
• One or more equations did not get rendered due to their size.
def Lean.Elab.Command.elabElabRulesAux (doc? : Option (Lean.TSyntax Lean.Parser.Command.docComment)) (attrs? : Option (Lean.Syntax.TSepArray Lean.Parser.Term.attrInstance ",")) (attrKind : Lean.TSyntax Lean.Parser.Term.attrKind) (k : Lean.SyntaxNodeKind) (cat? : ) (expty? : ) (alts : Array (Lean.TSyntax Lean.Parser.Term.matchAlt)) :
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.