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