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