(* 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. *)