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