Agda.Syntax.Internal.Names

class NamesIn a

namesInFoldable

data PSyn