Mercurial > gui
annotate style.urs @ 34:2d195bee1efa
CKeditor wrapper
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 21 Nov 2013 18:19:02 -0500 |
parents | 93140c5cc972 |
children |
rev | line source |
---|---|
adam@29 | 1 class attr |
adam@29 | 2 val attr_string : attr string |
adam@29 | 3 val attr_int : attr int |
adam@29 | 4 val attr_url : attr url |
adam@29 | 5 val valu : t ::: Type -> attr t -> t -> css_value |
adam@29 | 6 |
adam@29 | 7 val prop1 : t ::: Type -> attr t -> string -> t -> css_style |
adam@29 | 8 val prop : string -> list css_value -> css_style |
adam@29 | 9 val props : list (string * list css_value) -> css_style |