Mercurial > gui
view gui.urs @ 17:2947170fcfd6
Fix sign error in clock skew correction
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 21 Aug 2011 11:27:41 -0400 |
parents | 90be8b8917d5 |
children | 16447dc6a68c |
line wrap: on
line source
(* Gui framework elements common across individual components. *) class gui (* Types of this class describe gui components. *) val toXml : t ::: Type -> gui t -> t -> xbody (* Currently the only thing a gui component can do is be * pretty printed to a piece of xml. *) val gui_xbody : gui xbody (* Xml itself can be a gui component. *) val mkGui : t ::: Type -> (t -> xbody) -> gui t (* How to add components to the gui class. *)