package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

inherit Links_core.IrTraversals.Transform.visitor

val parents : (Links_core.Ir.var * Links_core.Ir.binder) list

val parent_env : Links_core.Ir.var

val cvars : Links_core.Utility.IntSet.t

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 value : Links_core.Ir.value ->
  'b * Links_core.Ir.value * Links_core.Types.datatype

method set_context : (Links_core.Ir.var * Links_core.Ir.binder) list ->
  Links_core.Ir.var ->
  Links_core.Utility.IntSet.t ->
  'b

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

method create_substitutions_replacing_free_variables : Links_core.CommonTypes.Quantifier.t
                                                         list ->
  Links_core.CommonTypes.Quantifier.t list
  * Links_core.Types.type_arg Links_core.Utility.IntMap.t

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

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