Mercurial > urweb

comparison src/prim.sig @ 183:c0ea24dcb86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Optimizing 'case' in Mono_reduce
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 13:30:27 -0400
parents f1c36df29ed7
children ed4af33681d8
comparison
equal deleted inserted replaced
182:d11754ffe252 183:c0ea24dcb86f
32 | Float of Real64.real 32 | Float of Real64.real
33 | String of string 33 | String of string
34 34
35 val p_t : t Print.printer 35 val p_t : t Print.printer
36 36
37 val equal : t * t -> bool
38
37 end 39 end