Module Variables (.ml)

module Variables: sig .. end
Module for getting sets of variables


Module for getting sets of variables
val formal_vars : Ast.func_def -> StringModules.StringSet.t
Get the formal variables of a function
Parameters:
func : Ast.func_def
val free_vars : StringModules.StringSet.t -> Ast.stmt list -> StringModules.StringSet.t
Get the free variables of a list of statements
Parameters:
bound : StringModules.StringSet.t
stmts : Ast.stmt list
val free_vars_func : StringModules.StringSet.t -> Ast.func_def -> StringModules.StringSet.t
Get the free variables in a function.
Parameters:
bound : StringModules.StringSet.t
func : Ast.func_def
val free_vars_funcs : StringModules.StringSet.t -> Ast.func_def list -> StringModules.StringSet.t
Get the free variables in a whole list of functions.
Parameters:
bound : StringModules.StringSet.t
funcs : Ast.func_def list