Skip to content

Instantly share code, notes, and snippets.

@michiakig
Created January 4, 2013 20:00
Show Gist options
  • Save michiakig/4455468 to your computer and use it in GitHub Desktop.
Save michiakig/4455468 to your computer and use it in GitHub Desktop.
structure Set : ORD_SET = IntListSet
structure Map : ORD_MAP = ListMapFn(
struct
type ord_key = Set.set
val compare = Set.compare
end)
val m = Map.insert(Map.empty, Set.singleton 1, 2)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment