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