links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Closures
type freevars = {
termvars : Ir.binder list;
typevars : CommonTypes.Quantifier.t list;
}
val show_freevars : freevars -> Ppx_deriving_runtime.string
module ClosureVars : sig ... end
module Globalise : sig ... end
module ClosureConvert : sig ... end
val name : string