package links

  1. Overview
  2. Docs
type freevars = {
  1. termvars : Ir.binder list;
  2. typevars : CommonTypes.Quantifier.t list;
}
val pp_freevars : Ppx_deriving_runtime.Format.formatter -> freevars -> Ppx_deriving_runtime.unit
val show_freevars : freevars -> Ppx_deriving_runtime.string
val pp_fenv : Ppx_deriving_runtime.Format.formatter -> fenv -> Ppx_deriving_runtime.unit
module ClosureVars : sig ... end
module Globalise : sig ... end
module ClosureConvert : sig ... end
val name : string
OCaml

Innovation. Community. Security.