Agda.Termination.CallGraph
data Order
decr
increase
decrease
(.*.)
supremum
infimum
decreasing
le
lt
unknown
orderMat
type Index
data CallMatrix
(>*<)
callMatrixInvariant
data Call
callInvariant
data CallGraph meta
callGraphInvariant
fromList
toList
empty
union
insert
complete
prettyBehaviour
tests