Agda.Termination.Lexicographic
type LexOrder arg
data RecBehaviour arg call
type Column call
recBehaviourInvariant
fromDiagonals
lexOrder
tests