type sizing = {height : float option;share : float;scaled : bool;
}val layout :
t ->
left:float ->
top:float ->
width:float ->
(path * Widget.box) list * floattype splitter = {row : path;index : int;grip : Widget.box;span : float * float;
}val splitters : t -> left:float -> top:float -> width:float -> splitter listval set_height : t -> path -> float option -> tval scaled : t -> path -> boolval set_scaled : t -> path -> bool -> tval resize_row : t -> path -> int -> float -> tval insert_after : t -> path -> t -> t