let
mem t k =
Table
.mem t.table k