This module provides an interface for typechecker plugins to access select functions of the TcM, principally those to do with reading parts of the state.