links 0.9.6 · OCaml Package

inherit Links_core.IrTraversals.Transform.visitor

val globals : Links_core.Utility.IntSet.t

val bound_term_vars : Links_core.Utility.IntSet.t

val bound_type_vars : Links_core.Ir.tyvar Links_core.Types.TypeVarMap.t

val free_term_vars : Links_core.Utility.IntSet.t

val free_type_vars : Links_core.Types.TypeVarSet.t

val bound_type_vars_stack : Links_core.Ir.tyvar Links_core.Types.TypeVarMap.t
                              list

val fenv : fenv

method register_fun : Links_core.Utility.IntMap.key -> freevars -> 'b

method global : Links_core.Utility.IntSet.elt -> 'b

method bound_termvar : Links_core.Utility.IntSet.elt -> 'b

method bound_typevar : Links_core.Types.TypeVarMap.key ->
  Links_core.Ir.tyvar ->
  'b

method close_term : Links_core.Utility.IntSet.elt -> 'b

method register_term_var : Links_core.Utility.IntSet.elt -> 'b

method register_type_var : Links_core.Types.TypeVarMap.key -> 'b

method private reset : 'b

method restore : Links_core.Utility.IntSet.t ->
  Links_core.Utility.IntSet.t ->
  Links_core.Ir.tyvar Links_core.Types.TypeVarMap.t ->
  Links_core.Types.TypeVarSet.t ->
  'b

method get_bound_term_vars : Links_core.Utility.IntSet.t

method get_free_term_vars : Links_core.Utility.IntSet.t

method get_bound_type_vars : Links_core.Ir.tyvar Links_core.Types.TypeVarMap.t

method get_free_type_vars : Links_core.Types.TypeVarSet.t

method get_bound_type_vars_stack : Links_core.Ir.tyvar
                                     Links_core.Types.TypeVarMap.t
                                     list

method get_fenv : fenv

method var : Links_core.Ir.var ->
  'b * Links_core.Ir.var * Links_core.Types.datatype

method value : Links_core.Ir.value ->
  'b * Links_core.Ir.value * Links_core.Types.datatype

method special : Links_core.Ir.special ->
  'b * Links_core.Ir.special * Links_core.Types.datatype

method typ : Links_core.Types.datatype -> 'b

method type_arg : Links_core.Ir.tyarg -> 'b

method quantifier : Links_core.Ir.tyvar -> 'b

method quantifier_remove : Links_core.Ir.tyvar -> 'b

method binder : Links_core.Ir.binder -> 'b * Links_core.Ir.binder

method super_binding : Links_core.Ir.binding -> 'b * Links_core.Ir.binding

method super_binder : Links_core.Ir.binder -> 'b * Links_core.Ir.binder

method super_value : Links_core.Ir.value ->
  'b * Links_core.Ir.value * Links_core.Types.datatype

method super_special : Links_core.Ir.special ->
  'b * Links_core.Ir.special * Links_core.Types.datatype

method create_fenv_entry : freevars

method binding : Links_core.Ir.binding -> 'b * Links_core.Ir.binding

method program : Links_core.Ir.program ->
  'b * Links_core.Ir.program * Links_core.Types.datatype

package links