Agda.Termination.CallGraph
type Node
type Call cinfo
mkCall
mkCall'
source
target
callMatrixSet
(>*<)
data CallGraph cinfo
targetNodes
fromList
toList
union
insert
complete
completionStep
tests