diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/basis.urs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index f53ee1c1..bc4c9481 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -7,6 +7,16 @@ type unit = {} datatype bool = False | True +(** Basic type classes *) + +class eq +val eq : t ::: Type -> eq t -> t -> t -> bool +val eq_int : eq int +val eq_float : eq float +val eq_string : eq string +val eq_bool : eq bool + + (** SQL *) con sql_table :: {Type} -> Type |