diff include/urweb.h @ 1571:f403e129c276

Primitive int/float functions: ceil, float, round, trunc
author Adam Chlipala <adam@chlipala.net>
date Sat, 08 Oct 2011 17:23:58 -0400
parents e1f5d9c4cc20
children 43f22a8f76cc
line wrap: on
line diff
--- a/include/urweb.h	Sat Oct 08 14:16:13 2011 -0400
+++ b/include/urweb.h	Sat Oct 08 17:23:58 2011 -0400
@@ -348,4 +348,9 @@
 
 uw_Basis_string uw_Basis_fresh(uw_context);
 
+uw_Basis_float uw_Basis_floatFromInt(uw_context, uw_Basis_int);
+uw_Basis_int uw_Basis_ceil(uw_context, uw_Basis_float);
+uw_Basis_int uw_Basis_trunc(uw_context, uw_Basis_float);
+uw_Basis_int uw_Basis_round(uw_context, uw_Basis_float);
+
 #endif