def tacticType_check_ : Lean.ParserDescr

Type check the given expression, and trace its type.

Equations

• One or more equations did not get rendered due to their size.