Mercurial > urweb
comparison src/option_key_fn.sml @ 2244:e4a7e3cd6f11
Use uniform representation of comparisons for better simplification.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Mon, 20 Jul 2015 23:25:44 -0700 |
parents | 88cc0f44c940 |
children |
comparison
equal
deleted
inserted
replaced
2243:da7d026d1a94 | 2244:e4a7e3cd6f11 |
---|---|
1 functor OptionKeyFn(K : ORD_KEY) : ORD_KEY = struct | 1 functor OptionKeyFn(K : ORD_KEY) |
2 : ORD_KEY where type ord_key = K.ord_key option = struct | |
2 | 3 |
3 type ord_key = K.ord_key option | 4 type ord_key = K.ord_key option |
4 | 5 |
5 val compare = | 6 val compare = |
6 fn (NONE, NONE) => EQUAL | 7 fn (NONE, NONE) => EQUAL |