diff include/urweb.h @ 1365:b02cb9da5686

Changed uw_Basis_time to store microseconds
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 18:08:29 -0500
parents 0dec38af601c
children 1a78ca089bd0
line wrap: on
line diff
--- a/include/urweb.h	Fri Dec 24 17:18:28 2010 -0500
+++ b/include/urweb.h	Fri Dec 24 18:08:29 2010 -0500
@@ -305,4 +305,8 @@
 
 uw_Basis_string uw_Basis_crypt(uw_context, uw_Basis_string key, uw_Basis_string salt);
 
+uw_Basis_bool uw_Basis_eq_time(uw_context, uw_Basis_time, uw_Basis_time);
+uw_Basis_bool uw_Basis_lt_time(uw_context, uw_Basis_time, uw_Basis_time);
+uw_Basis_bool uw_Basis_le_time(uw_context, uw_Basis_time, uw_Basis_time);
+
 #endif