Agda.Termination.Lexicographic
type LexOrder arg
data RecBehaviour arg call
type Column call