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.
