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