module IdMap:Map.Swith type key = id
IdMap module represents a mapping from identifiers (variable
names) to (OCaml) values. This module is used to create the symbol table for the
3110Caml interpreter. Map.S comes from the OCaml Map module.