–> (long arrow)

The --> is used to define function domains. Like:

letting letters be new type enum {A, B, C}
find f: function letters --> int (1..3)

This is further demonstrated here.