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

empty

null

singleton

insert

union

toList

Printing

Generators and tests

CallMatrix

callMatrix

CallMatrixAug

All tests

tests