module Id = Pool.Make(SortedList.String) module IdSet = SortedList.Make(SortedList.Lift(Id)) module IdMap = IdSet.Map type id = Id.t type 'a id_map = (unit,'a) IdMap.map type fv = unit IdSet.t let ident = Id.mk