Agda.Termination.CallGraph
Structural orderings
data
Order
(.*.)
supremum
Call matrices
type
Index
data
CallMatrix
(>*<)
callMatrixInvariant
Calls
data
Call
callInvariant
Call graphs
data
CallGraph
meta
callGraphInvariant
fromList
toList
empty
union
insert
complete
showBehaviour
Tests
tests