They are not different.
Sent from my T-Mobile 4G LTE device
------ Original message------From: Shimin GuoDate: Mon, Mar 18, 2019 1:19 AMTo:
ats-lang-users;Subject:Difference between `!T` and `!T >> _`?
For !T, INT2PROGINATS says:
Note that the symbol ! in front of the type of a function argument indicates
that the argument is call-by-value and it is preserved after a call to the
function.
For !T >> _, INT2PROGINATS says:
Given a type T, the notation (!T >> _) is a shorthand for (!T >> T).
How are they different?--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/12211f9b-bac9-428c-9240-3927fd9dd4cb%40googlegroups.com.
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/000f4244.2f1aafe21666f897%40gmail.com.
