Agda.Compiler.JS.Syntax
data Exp
data LocalId
data GlobalId
data MemberId
data Export
data Module
class Uses a
class Globals a