Hi Alex,

> I would definitely not use +String, to avoid the trouble and cost of
> conversions.
>
> If it is just a list of cons pairs where the CDR parts are atomic, there
> is no currently other way than +Any. But if it is of a homogeneous list
> structure like
>
>    ((key1 "string1" 123) (key2 "string2" 456) ...)
>
> then thinking about
>
>    (rel xxx (+List +Bag)
>       ((+Symbol))       # key
>       ((+String))       
>       ((+Number) 2) )

thanks for suggestions,

Tomas
-- 
UNSUBSCRIBE: mailto:[EMAIL PROTECTED]

Reply via email to