Mercurial > urweb
comparison src/option_key_fn.sml @ 2240:88cc0f44c940
Rename C functions and remove functors nested inside modules.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Sun, 19 Jul 2015 19:03:11 -0700 |
parents | |
children | e4a7e3cd6f11 |
comparison
equal
deleted
inserted
replaced
2239:f70a91f7810d | 2240:88cc0f44c940 |
---|---|
1 functor OptionKeyFn(K : ORD_KEY) : ORD_KEY = struct | |
2 | |
3 type ord_key = K.ord_key option | |
4 | |
5 val compare = | |
6 fn (NONE, NONE) => EQUAL | |
7 | (NONE, _) => LESS | |
8 | (_, NONE) => GREATER | |
9 | (SOME x, SOME y) => K.compare (x, y) | |
10 | |
11 end |