Mercurial > urweb

comparison src/order.sig @ 479:ffa18975e661

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Broaden set of possible especializations
author Adam Chlipala <adamc@hcoop.net>
date Sat, 08 Nov 2008 14:42:52 -0500
parents 8a70e2919e86
children
comparison
equal deleted inserted replaced
478:6ee1c761818f 479:ffa18975e661
29 29
30 signature ORDER = sig 30 signature ORDER = sig
31 31
32 val join : order * (unit -> order) -> order 32 val join : order * (unit -> order) -> order
33 val joinL : ('a * 'b -> order) -> 'a list * 'b list -> order 33 val joinL : ('a * 'b -> order) -> 'a list * 'b list -> order
34 34 val joinO : ('a * 'b -> order) -> 'a option * 'b option -> order
35
35 end 36 end