From c66b728b1b4e4ca919affac82d9bdbebc98a2a42 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 30 Oct 2008 14:36:48 -0400
Subject: time type

---
 lib/basis.urs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib')

diff --git a/lib/basis.urs b/lib/basis.urs
index fce29ff9..ba8f3d40 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -1,6 +1,7 @@
 type int
 type float
 type string
+type time
 
 type unit = {}
 
@@ -52,6 +53,7 @@ val show_int : show int
 val show_float : show float
 val show_string : show string
 val show_bool : show bool
+val show_time : show time
 
 class read
 val read : t ::: Type -> read t -> string -> option t
@@ -61,6 +63,7 @@ val read_int : read int
 val read_float : read float
 val read_string : read string
 val read_bool : read bool
+val read_time : read time
 
 
 (** SQL *)
-- 
cgit v1.2.3