Is there a fun name for `::`?

That's two bad puns in just over a day. The other was “Type inference”? No!

1 Like