Agda.Termination.CallMatrix
type ArgumentIndex
data CallMatrix' a
type CallMatrix
class CallComb a
data CallMatrixAug cinfo
noAug
data CMSet cinfo
insert
union
toList
callMatrix
tests