Instances For
Get all pattern vars (as Syntax.idents) in stx
Instances For
Given an antiquotation like $e:term (i.e. Syntax.antiquotKind? returns some),
returns the "term" atom if present.
Lean.Elab.Quotation.Util
Get all pattern vars (as Syntax.idents) in stx
Given an antiquotation like $e:term (i.e. Syntax.antiquotKind? returns some),
returns the "term" atom if present.