# Documentation

Lean.Elab.MacroArgUtil

def Lean.Elab.Command.expandMacroArg (stx : Lean.TSyntax Lean.Parser.Command.macroArg) :

Convert macro arg into a syntax` command item and a pattern element

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.