Mercurial > urweb

comparison lib/ur/basis.urs @ 1023:e46227efcbba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Bidding interface
author Adam Chlipala <adamc@hcoop.net>
date Sun, 01 Nov 2009 10:20:20 -0500
parents 16f7cb0891b6
children 609ab3947a08
comparison
equal deleted inserted replaced
1022:4de35df3d545 1023:e46227efcbba
60 val strsuffix : string -> int -> string 60 val strsuffix : string -> int -> string
61 val strchr : string -> char -> option string 61 val strchr : string -> char -> option string
62 val strindex : string -> char -> option int 62 val strindex : string -> char -> option int
63 val strcspn : string -> string -> option int 63 val strcspn : string -> string -> option int
64 val substring : string -> int -> int -> string 64 val substring : string -> int -> int -> string
65 val str1 : char -> string
65 66
66 class show 67 class show
67 val show : t ::: Type -> show t -> t -> string 68 val show : t ::: Type -> show t -> t -> string
68 val show_int : show int 69 val show_int : show int
69 val show_float : show float 70 val show_float : show float