In Signature literals§

See primary documentation in context for prefix (C-like) form.

This is similar to placing type constraints on variables like my Type $var = 20;, except the $var is a definition for a routine.

my Int sub bar { 1 };     # Valid
say &bar.signature        # OUTPUT: «( --> Int)␤»
my 42 sub bad-answer { }; # This will fail.