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