This page displays the COHERENT help information for type checking.
Listing of available help pages
type checking -- Definition
