Mercurial > urweb

comparison src/prim.sig @ 821:395a5d450cc0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Chars and more string operations
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 May 2009 12:25:06 -0400
parents 1901db85acb4
children 3e7c7e200713
comparison
equal deleted inserted replaced
820:91f465ded07e 821:395a5d450cc0
29 29
30 datatype t = 30 datatype t =
31 Int of Int64.int 31 Int of Int64.int
32 | Float of Real64.real 32 | Float of Real64.real
33 | String of string 33 | String of string
34 | Char of char
34 35
35 val p_t : t Print.printer 36 val p_t : t Print.printer
36 val p_t_GCC : t Print.printer 37 val p_t_GCC : t Print.printer
37 38
38 val equal : t * t -> bool 39 val equal : t * t -> bool