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