let
length t =
Table
.length t.table