links

The Links Programming Language
IN THIS PACKAGE
method global : 'b -> Links_core.Utility.IntSet.elt -> 'b
method binder : 'b -> Links_core.Ir.binder -> 'b * Links_core.Ir.binder
method close_cont : 'b -> 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.