Agda.Termination.Lexicographic

type LexOrder arg

data RecBehaviour arg call

type Column call

recBehaviourInvariant

fromDiagonals

lexOrder

tests