package js_of_ocaml-compiler

You can search for identifiers within the package.

in-package search v0.2.0

js_of_ocaml-compiler
- Js_of_ocaml_compiler
  - Annot_lexer
  - Annot_parser
  - Base64
  - Build_info
  - Build_path_prefix_map
  - Builtins
    
    File
  - Code
    
    Addr
    
    Map
    
    Set
    
    Constant
    
    DebugAddr
    
    Native_string
    
    Print
    
    Var
    
    Hashtbl
    
    ISet
    
    Map
    
    Set
    
    Tbl
    
    DataSet
  - Compiler_version
  - Config
    
    Flag
    
    Param
  - Deadcode
  - Debug
  - Dgraph
    
    ACTION
    
    DOMAIN
    
    ISet
    
    Make
    
    DOMAIN
    
    N
    
    NMap
    
    NSet
    
    Solver
    
    D
    
    Make_Imperative
    
    DOMAIN
    
    N
    
    NSet
    
    NTbl
    
    Solver
    
    D
    
    Solver
    
    A
    
    D
    
    N
    
    NSet
    
    NTbl
    
    Tbl
  - Driver
  - Duplicate
  - Effects
  - Eval
  - Findlib
  - Flow
    
    Info
  - Flow_lexer
    
    Lex_env
    
    Lex_mode
    
    Lex_result
    
    Parse_error
  - Freevars
  - Fs
  - Generate
  - Generate_closure
  - Global_constant
  - Global_deadcode
  - Global_flow
  - Inline
  - Instr
  - Javascript
    
    IdentMap
    
    IdentSet
    
    Label
    
    Num
  - Js_assign
  - Js_output
  - Js_parser
    
    Incremental
    
    MenhirInterpreter
  - Js_simpl
  - Js_token
    
    Annot
  - Js_traverse
    
    clean
    
    compact_vardecl
    
    free
    
    freevar
    
    iter
    
    iterator
    
    map
    
    mapper
    
    rename_variable
    
    share_constant
    
    simpl
    
    subst
  - Lambda_lifting
  - Lambda_lifting_simple
  - Link_js
  - Linker
    
    Fragment
  - Loc
  - Macro
  - Magic_number
  - Mlvalue
    
    Array
    
    Block
  - Ocaml_compiler
    
    Cmo_format
    
    Symtable
    
    Global
    
    GlobalMap
  - Ocaml_version
  - Parse_bytecode
    
    Debug
    
    Toc
  - Parse_info
  - Parse_js
    
    Lexer
  - Partial_cps_analysis
  - Phisimpl
  - Pretty_print
  - Primitive
  - Pseudo_fs
  - Pure_fun
  - Reserved
  - Source_map
    
    Index
    
    Mappings
    
    Offset
    
    Source_content
    
    Standard
  - Specialize
  - Specialize_js
  - Stdlib
    
    Array
    
    BitSet
    
    Bool
    
    Buffer
    
    Bytes
    
    Char
    
    Filename
    
    Float
    
    Fun
    
    Int
    
    Int32
    
    Int64
    
    IntMap
    
    IntSet
    
    Int_replace_polymorphic_compare
    
    List
    
    Nativeint
    
    Option
    
    Poly
    
    String
    
    StringMap
    
    StringSet
    
    Uchar
    
    Utf_decode
    
    Utf8_string
    
    Utf8_string_map
    
    Utf8_string_set
  - Strongly_connected_components
    
    Make
    
    Id
    
    Map
    
    Set
    
    S
    
    Id
    
    Map
    
    Set
  - Structure
  - Subst
    
    Excluding_Binders
    
    Including_Binders
    
    And_Continuations
  - Tailcall
  - Target_env
  - Targetint
  - Timer
  - Unit_info
  - Var_printer
    
    Alphabet
  - Vlq64
js_of_ocaml-compiler.dynlink
- Js_of_ocaml_compiler_dynlink
js_of_ocaml-compiler.findlib-support
- Jsoo_findlib_support
js_of_ocaml-compiler.runtime
- Jsoo_runtime
  - Effect
  - Error
  - For_compatibility_only
  - Int64
  - Js
  - Sys
    
    Config
  - Typed_array
    
    Bigstring
js_of_ocaml-compiler.runtime-files
- Js_of_ocaml_compiler_runtime_files

Legend:
Library
Module
Module type
Parameter
Class
Class type

val closure : 
  Code.program ->
  bound_vars:Code.Var.Set.t ->
  f:Code.Var.t ->
  params:Code.Var.t list ->
  cont:(int * Code.Var.t list) ->
  Code.program * Code.Var.t * Code.Var.t list * (int * Code.Var.t list)

Given a program and a closure f -- defined by its name, parameters, and its continuation --, return a program in which the body of f has been updated with fresh variable names to replace elements of bound_vars. Also returns the new name of f (fresh if f is in bound_vars), and the similarly substituted parameter list and continuation.