comparison lib/ur/basis.urs @ 1832:373e2c3f03b2

Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Nov 2012 11:45:46 -0500
parents 36428d853c97
children a8b273f1f7e3
comparison
equal deleted inserted replaced
1831:36428d853c97 1832:373e2c3f03b2
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 pow : t ::: Type -> num t -> t -> t -> t
46 val num_int : num int 46 val num_int : num int
47 val num_float : num float 47 val num_float : num float
48 48
49 class ord 49 class ord
50 val lt : t ::: Type -> ord t -> t -> t -> bool 50 val lt : t ::: Type -> ord t -> t -> t -> bool