Agda.TypeChecking.Substitute

class Apply t

piApply

class Abstract t

abstractArgs

type Substitution

class Subst t

idSub

subst

absApp

class Raise t

raise

data TelView

telView'

telePi

telePi_

dLub