module PrivateProps: sig .. end
sig
end
val model : ('a, Gtk.tree_model) Gobject.property
('a, Gtk.tree_model) Gobject.property