Mercurial > urweb

diff lib/basis.urs @ 390:519366a76603

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
num_float
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 10:40:22 -0400
parents acaf9d19fbb7
children fe8f75f7e130
line wrap: on
line diff
--- a/lib/basis.urs	Tue Oct 21 10:34:07 2008 -0400
+++ b/lib/basis.urs	Tue Oct 21 10:40:22 2008 -0400
@@ -26,6 +26,7 @@
 val div : t ::: Type -> num t -> t -> t -> t
 val mod : t ::: Type -> num t -> t -> t -> t
 val num_int : num int
+val num_float : num float
 
 
 (** String operations *)