diff options
author | 2008-10-30 14:36:48 -0400 | |
---|---|---|
committer | 2008-10-30 14:36:48 -0400 | |
commit | c66b728b1b4e4ca919affac82d9bdbebc98a2a42 (patch) | |
tree | 797f3a4f11f0165ecee54b4870006be56399838d /lib/basis.urs | |
parent | bf22e4938d4cb8164d112ab9beb784b44c96422a (diff) |
time type
Diffstat (limited to 'lib/basis.urs')
-rw-r--r-- | lib/basis.urs | 3 |
1 files changed, 3 insertions, 0 deletions
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 *) |