Agda.TypeChecking.Reduce
traceFun
traceFun'
class
Instantiate
t
class
Reduce
t
unfoldDefinition
Normalisation
class
Normalise
t
Full instantiation
class
InstantiateFull
t
telViewM