etui/widgets/table — Grid with optional header and row selection.
Name │ Age
───────┼────
Alice │ 30
▶ Bob │ 25 let t =
table.table_new([["Name", "Age"], ["Alice", "30"]])
|> table.with_header(True)
table.render_stateful(buf, area, t, table.state_new())