Agda.Termination.CallGraph

Calls

type Node

type Call cinfo

mkCall

mkCall'

source

target

callMatrixSet

(>*<)

Call graphs

data CallGraph cinfo

targetNodes

fromList

toList

union

insert

complete

completionStep

Tests

tests