blob: ba636d4ec4a0da7ba9948fe00bb92fd9c0809023 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
functor OptionKeyFn(K : ORD_KEY) : ORD_KEY = struct
type ord_key = K.ord_key option
val compare =
fn (NONE, NONE) => EQUAL
| (NONE, _) => LESS
| (_, NONE) => GREATER
| (SOME x, SOME y) => K.compare (x, y)
end
|