diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-10 15:19:06 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-10 15:19:06 -0400 |
| commit | 0c1f369955bcdfe949bb6793812ef8ead2963228 (patch) | |
| tree | 00f08400cf61ad8bb9241c337719fe98f0348eb9 /lib | |
| parent | 81a4a8171274586428288bd7e75ea6721ca56e27 (diff) | |
Stringifying attributes
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 4 |
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 |