1(* -------------------------------------------------------------------------
2   Map
3   ------------------------------------------------------------------------- *)
4
5signature Map =
6sig
7   type 'a map
8   val mkMap : IntInf.int option * 'a -> 'a map
9   val lookup : 'a map * IntInf.int -> 'a
10   val update : 'a map * IntInf.int * 'a -> 'a map
11   val copy : 'a map -> 'a map
12end
13