let mem_kf = Tbl.mem