summaryrefslogtreecommitdiff
path: root/lib/basis.lig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 15:19:06 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 15:19:06 -0400
commit0c1f369955bcdfe949bb6793812ef8ead2963228 (patch)
tree00f08400cf61ad8bb9241c337719fe98f0348eb9 /lib/basis.lig
parent81a4a8171274586428288bd7e75ea6721ca56e27 (diff)
Stringifying attributes
Diffstat (limited to 'lib/basis.lig')
-rw-r--r--lib/basis.lig4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig
index cd106950..c0f39e65 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -28,3 +28,7 @@ val p : tag [] [Body] [Body]
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