The type command reports the type of the inspected Z expression. The report appears in the left window.