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