naming constants. Reply to reply

On my question >> Here is a small awkwardness with naming. ... >> Defining the operation of the set cardinality, we put naturally >> that it may return >>FiniteCard n, n >= 0 :: Integer >>InfiniteCard, >>UnknownCard >> But in this c

Re: naming constants

On 09-Jan-1999, S.D.Mechveliani <[EMAIL PROTECTED]> wrote: > Here is a small awkwardness with naming. > Example. > Defining the operation of the set cardinality, we put naturally > that it may return >FiniteCard n, n >= 0 :: Integer >InfiniteCard, >

naming constants

Here is a small awkwardness with naming. Example. Defining the operation of the set cardinality, we put naturally that it may return FiniteCard n, n >= 0 :: Integer InfiniteCard, UnknownCard But in this case, - as in many others, - t