Instances For
Get all pattern vars (as Syntax.ident
s) 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.ident
s) in stx
Given an antiquotation like $e:term
(i.e. Syntax.antiquotKind?
returns some
),
returns the "term"
atom if present.