Mercurial > urweb

diff lib/ur/basis.urs @ 777:87a7702d681d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
outer demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 May 2009 14:57:33 -0400
parents a8bdd5a0d9b0
children 2c463eee89fa
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun May 03 12:49:47 2009 -0400
+++ b/lib/ur/basis.urs	Sun May 03 14:57:33 2009 -0400
@@ -70,6 +70,7 @@
 val read_string : read string
 val read_bool : read bool
 val read_time : read time
+val mkRead : t ::: Type -> (string -> t) -> (string -> option t) -> read t
 
 
 (** * Monads *)