package links

  1. Overview
  2. Docs
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 : 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 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 get_bound_term_vars : Links_core.Utility.IntSet.t
method get_free_term_vars : Links_core.Utility.IntSet.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 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 super_binding : Links_core.Ir.binding -> 'b * Links_core.Ir.binding
method super_binder : Links_core.Ir.binder -> 'b * Links_core.Ir.binder
method create_fenv_entry : freevars
OCaml

Innovation. Community. Security.