k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Map and MyMap

From: soha hussein <husseinsoh AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] Map and MyMap
Date: Wed, 13 Nov 2013 13:11:22 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi all,

Could you give me an information about the difference between Map and MyMap.
I tried to use the functions (lookup, update, so on) on terms of sort Maps
but i get a compilation error saying that it is defined on sorts of MyMaps
and not Maps. And it seems that i am unable to find where the sort Map
defined? Could you give me more information about that?

Thanks

Soha

[K-user] Map and MyMap, soha hussein, 11/13/2013