Agda.TypeChecking.Monad.Mutual
noMutualBlock
inMutualBlock
setMutualBlock
getMutualBlocks
currentMutualBlock
lookupMutualBlock
findMutualBlock