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