visit_type_check


Description:

public virtual void visit_type_check (TypeCheck expr)

Visit operation called for type checks.

Parameters:

expr

a type check expression