Agda.TypeChecking.Monad.Trace

Trace