Agda.Syntax.Translation.AbstractToConcrete
class
ToConcrete
a c
abstractToConcrete_
runAbsToCon
data
RangeAndPragma
abstractToConcreteCtx
withScope
makeEnv
abstractToConcrete
type
AbsToCon
data
TypeAndDef
data
DontTouchMe
a
data
Env