links

The Links Programming Language
IN THIS PACKAGE
module FunDefs : sig ... end
module ScopesAndContDefs : sig ... end
module FreeVars : sig ... end

Compute free variables

module ClosureTable : sig ... end

Compute the closures in an IR expression

val program : IrTransform.state -> Ir.program -> unit