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