Agda.Termination.CallGraph

# Structural orderings

data Order

decr

increase

decrease

(.*.)

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