mosaic.mlx
Mosaic_mlx.Tree
Companion types for the tree widget.
tree
mosaic
mosaic.ui
type item = Mosaic_ui.Tree.item = {
label : string;
Display text for the node.
children : item list;
Child nodes (empty for leaves).
}
The type for tree nodes.
val item : ?children:item list -> string -> item
item label is a tree node with label. children defaults to [].
item label
label
children
[]