Mercurial > urweb

comparison lib/ur/basis.urs @ 961:8c37699de273

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Grid sorting working
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:32:33 -0400
parents b8d7a47b8e0c
children 10114d7b7477
comparison
equal deleted inserted replaced
960:6f34950825b6 961:8c37699de273
47 val ord_float : ord float 47 val ord_float : ord float
48 val ord_string : ord string 48 val ord_string : ord string
49 val ord_char : ord char 49 val ord_char : ord char
50 val ord_bool : ord bool 50 val ord_bool : ord bool
51 val ord_time : ord time 51 val ord_time : ord time
52 val mkOrd : t ::: Type -> {Lt : t -> t -> bool, Le : t -> t -> bool} -> ord t
52 53
53 54
54 (** String operations *) 55 (** String operations *)
55 56
56 val strlen : string -> int 57 val strlen : string -> int