src/lib/string-map.sml

   1 structure StringKey :> ORD_KEY where type ord_key = string =
   2 struct
   3     type ord_key = string
   4     val compare = String.compare
   5 end
   6
   7 structure StringMap = BinaryMapFn(StringKey)
   8 structure StringSet = BinarySetFn(StringKey)