Module Infer.VarSet

module VarSet: Set.S  with type elt = Ast.id

The VarSet module is a Set.S that is used to represent the set of represent the set of type variables that are currently in use. It is used to implement the alpha_vary function.