Gmytree
Editable trees.
class 'a tree_edit : ?f_expand:('a -> bool) -> f_roots:(unit -> 'a list) -> f_children:('a -> 'a list) -> ?f_edit:('a -> 'a) -> ?f_add:('a option -> 'a option) -> ?f_remove:('a -> bool) -> ?f_close:(unit -> unit) -> f_contents:('a -> col_row_contents list) -> [< `Pixmap of 'b | `String of 'c ] list -> object ... end