Agda.TypeChecking.Monad.Mutual
noMutualBlock
inMutualBlock
setMutualBlockInfo
insertMutualBlockInfo
setMutualBlock
currentOrFreshMutualBlock
lookupMutualBlock
mutualBlockOf