Hashtbl.Make ( struct type t = var let equal = var_equal let hash var = var.sv_offset * 131 + Var.hash_of_var var.sv_var end )