Mercurial > urweb

comparison lib/ur/basis.urs @ 1831:36428d853c97

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Standard library additions: Option.unsafeGet, Basis.exp
author Austin Seipp <mad.one@gmail.com>
date Wed, 28 Nov 2012 11:41:54 -0500
parents b8558b613abd
children 373e2c3f03b2
comparison
equal deleted inserted replaced
1830:d636d33fd8a2 1831:36428d853c97
40 val plus : t ::: Type -> num t -> t -> t -> t 40 val plus : t ::: Type -> num t -> t -> t -> t
41 val minus : t ::: Type -> num t -> t -> t -> t 41 val minus : t ::: Type -> num t -> t -> t -> t
42 val times : t ::: Type -> num t -> t -> t -> t 42 val times : t ::: Type -> num t -> t -> t -> t
43 val divide : t ::: Type -> num t -> t -> t -> t 43 val divide : t ::: Type -> num t -> t -> t -> t
44 val mod : t ::: Type -> num t -> t -> t -> t 44 val mod : t ::: Type -> num t -> t -> t -> t
45 val exp : t ::: Type -> num t -> t -> t -> t
45 val num_int : num int 46 val num_int : num int
46 val num_float : num float 47 val num_float : num float
47 48
48 class ord 49 class ord
49 val lt : t ::: Type -> ord t -> t -> t -> bool 50 val lt : t ::: Type -> ord t -> t -> t -> bool