The type_check
tactic #
Define the type_check
tactic: it type checks a given expression, and traces its type.
Type check the given expression, and trace its type.
type_check
tactic #Define the type_check
tactic: it type checks a given expression, and traces its type.
Type check the given expression, and trace its type.