From 0c1f369955bcdfe949bb6793812ef8ead2963228 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 10 Jul 2008 15:19:06 -0400 Subject: Stringifying attributes --- lib/basis.lig | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib') 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 -- cgit v1.2.3