Get the list of declarations tagged with the tag attribute attr
.
Instances For
def
Lean.TagAttribute.getDecls.core
(st : Lean.PersistentEnvExtensionState Lean.Name Lean.NameSet)
:
Implementation of TagAttribute.getDecls
.
Std.Lean.TagAttribute
Get the list of declarations tagged with the tag attribute attr
.
Implementation of TagAttribute.getDecls
.