Mercurial > urweb

comparison src/prim.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 ed4af33681d8
children 1901db85acb4
comparison
equal deleted inserted replaced
478:6ee1c761818f 479:ffa18975e661
34 34
35 val p_t : t Print.printer 35 val p_t : t Print.printer
36 val p_t_GCC : t Print.printer 36 val p_t_GCC : t Print.printer
37 37
38 val equal : t * t -> bool 38 val equal : t * t -> bool
39 val compare : t * t -> order
39 40
40 end 41 end