Agda.Termination.CallMatrix

type ArgumentIndex

data CallMatrix' a

type CallMatrix

class CallComb a

Call matrix augmented with path information.

data CallMatrixAug cinfo

noAug

Sets of incomparable call matrices augmented with path information.

data CMSet cinfo

insert

union

toList

Printing

Generators and tests

CallMatrix

callMatrix

CallMatrixAug

All tests

tests