diff lib/basis.lig @ 105:da760c34f5ed

Stringifying attributes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 15:19:06 -0400
parents b1e5398a7f30
children d101cb1efe55
line wrap: on
line diff
--- a/lib/basis.lig	Thu Jul 10 15:04:32 2008 -0400
+++ b/lib/basis.lig	Thu Jul 10 15:19:06 2008 -0400
@@ -28,3 +28,7 @@
 val b : tag [] [Body] [Body]
 val i : tag [] [Body] [Body]
 val font : tag [Size = int, Face = string] [Body] [Body]
+
+
+val attrifyInt : int -> string
+val attrifyFloat : float -> string