K-user mailing list

[Eric Huber <echuber2 AT illinois.edu>]

Hi, I am just wondering what exactly happens when you concatenate K
Map built-ins. It seems that concatenating a new mapping to an
existing Map hides any existing mapping with the same key, but does it
make a difference if the concatenation is done with the "new" mapping
on the left or right of the other Map?

Also, when the "!" operator is used to generate an identifier with
freshness constraints, what determines the range of identifiers for
which the freshness is guaranteed?

Thanks,
Eric Huber