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