Agda.Termination.CallGraph

Structural orderings

data Order

Call matrices

type Index
data CallMatrix

Calls

data Call

Call graphs

data CallGraph meta

Tests