Agda.Compiler.JS.Syntax

data Exp

data LocalId

data GlobalId

data MemberId

data Export

data Module

class Uses a

class Globals a