comparison 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
comparison
equal deleted inserted replaced
104:b1e5398a7f30 105:da760c34f5ed
26 val body : tag [] [Html] [Body] 26 val body : tag [] [Html] [Body]
27 val p : tag [] [Body] [Body] 27 val p : tag [] [Body] [Body]
28 val b : tag [] [Body] [Body] 28 val b : tag [] [Body] [Body]
29 val i : tag [] [Body] [Body] 29 val i : tag [] [Body] [Body]
30 val font : tag [Size = int, Face = string] [Body] [Body] 30 val font : tag [Size = int, Face = string] [Body] [Body]
31
32
33 val attrifyInt : int -> string
34 val attrifyFloat : float -> string