diff include/urweb.h @ 1514:3c0803c1acd7

Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
author Adam Chlipala <adam@chlipala.net>
date Fri, 22 Jul 2011 15:39:38 -0400
parents dcc8abbc6dfd
children e1f5d9c4cc20
line wrap: on
line diff
--- a/include/urweb.h	Wed Jul 20 08:14:49 2011 -0400
+++ b/include/urweb.h	Fri Jul 22 15:39:38 2011 -0400
@@ -252,6 +252,8 @@
 
 uw_Basis_time uw_Basis_now(uw_context);
 uw_Basis_time uw_Basis_addSeconds(uw_context, uw_Basis_time, uw_Basis_int);
+uw_Basis_int uw_Basis_diffInSeconds(uw_context, uw_Basis_time, uw_Basis_time);
+uw_Basis_int uw_Basis_toSeconds(uw_context, uw_Basis_time);
 extern const uw_Basis_time uw_Basis_minTime;
 
 void uw_register_transactional(uw_context, void *data, uw_callback commit, uw_callback rollback, uw_callback_with_retry free);