Agda.Termination.CallGraph

Structural orderings

data Order

decr

(.*.)

supremum

infimum

decreasing

le

lt

unknown

orderMat

Call matrices

type Index

data CallMatrix

(>*<)

callMatrixInvariant

Calls

data Call

callInvariant

Call graphs

data CallGraph meta

callGraphInvariant

fromList

toList

empty

union

insert

complete

prettyBehaviour

Tests

tests