Agda.Syntax.Internal.Names
class
NamesIn
a
namesInFoldable
data
PSyn