Module VarManager

module VarManager: sig .. end

module type I = sig .. end

module type SubstSig = sig .. end

module type S = sig .. end

type varname_class = 

val mk : int ->
       string -> (string -> varname_class) -> (module VarManager.S)

mk seed anon_str classify creates a new variable manager module where: seed specifies a cyclic permutation of the alphabet, which is used internally to create new variable names; anon_str specifies how to represent "anonymous" variables as a string; classify varname returns a value of type varname_class classifying varname.