Agda.TypeChecking.Substitute

class Apply t

piApply

class Abstract t

abstractArgs

type Substitution

class Subst t

idSub

subst

class Raise t

raise

rename

data TelV a

type TelView

telFromList

telToList

telView'

telePi

telePi_

teleLam

dLub

absApp

absBody

mkAbs

reAbs

sLub

lvlView

levelMax

sortTm

levelSort

levelTm