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