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