Wbox.splitter
inherit Frama_c_gui.Wutil.widget
method get : float
method set : float -> unit
method connect : ( float -> unit ) -> unit