links

The Links Programming Language
IN THIS PACKAGE
val bound_term_vars : Links_core.Utility.IntSet.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 : visitor -> Links_core.Utility.IntMap.key -> freevars -> 'b
method global : 'b -> Links_core.Utility.IntSet.elt -> 'b
method bound_termvar : 'b -> Links_core.Utility.IntSet.elt -> 'b
method bound_typevar : 'b -> Links_core.Types.TypeVarMap.key -> Links_core.Ir.tyvar -> 'b
method close_term : 'b -> Links_core.Utility.IntSet.elt -> 'b
method register_term_var : 'b -> Links_core.Utility.IntSet.elt -> 'b
method register_type_var : 'b -> Links_core.Types.TypeVarMap.key -> 'b
method private reset : 'b -> 'b
method get_bound_term_vars : 'b -> Links_core.Utility.IntSet.t
method get_free_term_vars : 'b -> Links_core.Utility.IntSet.t
method get_bound_type_vars : 'b -> Links_core.Ir.tyvar Links_core.Types.TypeVarMap.t
method get_free_type_vars : 'b -> Links_core.Types.TypeVarSet.t
method get_bound_type_vars_stack : 'b -> Links_core.Ir.tyvar Links_core.Types.TypeVarMap.t list
method get_fenv : 'b -> fenv
method typ : 'b -> Links_core.Types.datatype -> 'b
method type_arg : 'b -> Links_core.Ir.tyarg -> 'b
method quantifier : 'b -> Links_core.Ir.tyvar -> 'b
method quantifier_remove : 'b -> Links_core.Ir.tyvar -> 'b
method binder : 'b -> Links_core.Ir.binder -> 'b * Links_core.Ir.binder
method super_binding : 'b -> Links_core.Ir.binding -> 'b * Links_core.Ir.binding
method super_binder : 'b -> Links_core.Ir.binder -> 'b * Links_core.Ir.binder
method create_fenv_entry : 'b -> freevars
method binding : 'b -> Links_core.Ir.binding -> 'b * Links_core.Ir.binding