package links

  1. Overview
  2. Docs
type freevars = {
  1. termvars : Ir.binder list;
  2. 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