[opentheory-users] article format wording about constants

[Ramana Kumar]

On Sat, Jan 15, 2011 at 11:12 PM, Joe Hurd <joe at gilith.com> wrote:
> Hi Ramana,
>
>> So why does constTerm take 2 arguments instead of just 1?
>> Is it just to allow you to instantiate type variables that might be in
>> the constant on the stack?
>
> Since constants are solely determined by name (and do not contain any
> type information), you also have to provide a type argument to turn a
> constant into a term.

This confuses me... Are you saying it's possible to have two different constant
terms where the constants have the same name but different types, where one of
the types is not just an instance of the other?

>
> Cheers,
>
> Joe
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>