package links

  1. Overview
  2. Docs
method global : Links_core.Utility.IntSet.elt -> 'b
method close_cont : Links_core.Utility.IntSet.t -> Links_core.Ir.binding list -> 'b

Incrementally compute the free variables for every possible continuation arising from a computation.

The first argument is the free variables in the tail. The second argument is the list of bindings in reverse order.

The list of bindings is in reverse order in order to make things both easier to express and more efficient.

OCaml

Innovation. Community. Security.