comparison lib/basis.lig @ 106:d101cb1efe55

More with attributes and efficient serialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 15:49:14 -0400
parents da760c34f5ed
children 3739af9e727a
comparison
equal deleted inserted replaced
105:da760c34f5ed 106:d101cb1efe55
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