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