It is a template method to avoid to copy paste code into the other Visit methods below. `LoopStmt` doesn't exist, it is a 'type place holder' (which will be in this case `ForStmt`, ...). Generally its name is simply `T` as it is a simple short name for generic type.