No, that’s not among the few things that :: does, the manual does a good job explaining what it does and where. Type is also the name of an actual abstract type, so don’t use that as a name for unfilled spots in a template. Actually don’t write pseudocode as such templates to begin with, it’s confusing (two VARIABLE looks like a name conflict, for example).
1 Like