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.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 : Links_core.Ir.binding list * 'b

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

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

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

method create_substitutions_replacing_free_variables : Links_core.CommonTypes.Quantifier.t
                                                         list ->
  Links_core.CommonTypes.Quantifier.t list
  * Links_core.Instantiate.instantiation_maps

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

a list of fresh quantifiers, each corresponding to one free variable
Three maps mapping the old free variables to fresh ones (to be used with Instantiate) *

method generalize_function_type_for_hoisting : Links_core.Ir.binder ->
  Links_core.Ir.binder

method generalize_function_body_for_hoisting : Links_core.Ir.fun_def ->
  Links_core.Ir.fun_def

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