Agda.TypeChecking.Monad.Mutual

Pass the current mutual block id or create a new mutual block if we are not already inside on.

Set the mutual block info for a block, possibly overwriting the existing one.

Set the mutual block info for a block if non-existing.

Set the mutual block for a definition.

Get the current mutual block, if any, otherwise a fresh mutual block is returned.

Reverse lookup of a mutual block id for a name.