structure StringSet =
  RedBlackSetFn (type ord_key = string val compare = String.compare);
structure StringMap =
  RedBlackMapFn (type ord_key = string val compare = String.compare);