package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Compute the closures in an IR expression

This traversal computes the local free variables for each continuation in an IR expression.

class visitor : IrTraversals.Transform.environment -> Utility.IntSet.t -> (Var.var,
                                                               Utility.IntSet.t)
                                                               Links_core.Utility.Hashtbl.t -> object ... end

val bindings : 
  IrTraversals.Transform.environment ->
  Utility.IntSet.t ->
  (Var.var, Utility.IntSet.t) Links_core.Utility.Hashtbl.t ->
  Ir.binding list ->
  unit

val program : 
  IrTraversals.Transform.environment ->
  Utility.IntSet.t ->
  (Var.var, Utility.IntSet.t) Links_core.Utility.Hashtbl.t ->
  Ir.computation ->
  unit