comparison lib/ur/basis.urs @ 844:74a1e3bdf430

Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 16:45:00 -0400
parents 44c2c089ca15
children 0d30e6338c65
comparison
equal deleted inserted replaced
843:9f0ea203a1ca 844:74a1e3bdf430
23 val eq_float : eq float 23 val eq_float : eq float
24 val eq_string : eq string 24 val eq_string : eq string
25 val eq_char : eq char 25 val eq_char : eq char
26 val eq_bool : eq bool 26 val eq_bool : eq bool
27 val eq_time : eq time 27 val eq_time : eq time
28 val eq_option : t ::: Type -> eq t -> eq (option t)
28 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t 29 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t
29 30
30 class num 31 class num
31 val zero : t ::: Type -> num t -> t 32 val zero : t ::: Type -> num t -> t
32 val neg : t ::: Type -> num t -> t -> t 33 val neg : t ::: Type -> num t -> t -> t