'eq' type class

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