package links

  1. Overview
  2. Docs
val parent_env : Links_core.Ir.var
val hoisted_bindings : Links_core.Ir.binding list
method push_binding : Links_core.Ir.binding -> 'b
method pop_hoisted_bindings : 'b * Links_core.Ir.binding list
method bindings : Links_core.Ir.binding list -> 'b * Links_core.Ir.binding list

Given a list of free variables, return a tuple containing the following:

  • a list of fresh quantifiers, each corresponding to one free variable
  • A map mapping the old free variables to fresh ones (to be used with Instantiate) *
method generalise_function_type_for_hoisting : Links_core.Var.binder -> Links_core.Ir.binder
method generalise_function_body_for_hoisting : Links_core.Ir.fun_def -> Links_core.Ir.fun_def
OCaml

Innovation. Community. Security.