–> (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.
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.