From 78ec4fdf7ff7bf9e53732228aaa5928e4be519a9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 22 Oct 2009 11:15:37 -0400
Subject: Checking deadline; sign-in

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

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 7c3c0969..6536dc3f 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -111,6 +111,11 @@ val signal : t ::: Type -> source t -> signal t
 val current : t ::: Type -> signal t -> transaction t
 
 
+(** * Time *)
+
+val now : transaction time
+
+
 (** HTTP operations *)
 
 val requestHeader : string -> transaction (option string)
-- 
cgit v1.2.3