Module type VarManager.S

module type S = sig .. end

module Var: sig .. end

Abstract type of variables

module Subst: VarManager.SubstSig  
      with type t = Var.t Var.Map.t 
      with type var = Var.t 
      with type var_container = Var.Set.t

include VarManager.I

val to_ints : Var.Set.t -> Int.Set.t

Convenience method to return a set of integer representatives of a set of variables. This is equivalent to Var.Set.map_to Int.Set.add Int.Set.empty Var.to_int