# Documentation

Lean.Elab.Quotation.Util

Equations
• One or more equations did not get rendered due to their size.

Get all pattern vars (as Syntax.idents) in stx

Equations
• One or more equations did not get rendered due to their size.

Given an antiquotation like \$e:term (i.e. Syntax.antiquotKind? returns some), returns the "term" atom if present.

Equations
• = let name := antiquot[3][1]; if then none else some name