`showtype` vs `$showtype`

Google Group
1

Is there any differences between showtype and $showtype? (seems there
is no) Is one to be preferred over the other? I feel to guess $showtype
is to be preferred.

If both exist, is this because $showtype was added in case showtype is
overloaded?

Is it the same with all others $xyz?

2

See the end of the file:

showtype is a macro defined to be $showtype. There are also showview and
showvtype.On Thu, Dec 10, 2015 at 11:40 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Is there any differences between showtype and $showtype? (seems there
is no) Is one to be preferred over the other? I feel to guess $showtype
is to be preferred.

If both exist, is this because $showtype was added in case showtype is
overloaded?

Is it the same with all others $xyz?

–
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 ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/ff3fadfc-d404-4764-9e1e-e9ac730b6308%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/ff3fadfc-d404-4764-9e1e-e9ac730b6308%40googlegroups.com?utm_medium=email&utm_source=footer
.