Module Types.VMap (.ml)

module VMap: Map.S  with type key = Var.t