Agda.Termination.TermCheck
termDecl
termMutual
type
Result