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
  - B64
  - Code
    
    AddrMap
    
    AddrSet
    
    DebugAddr
    
    Var
    
    VarISet
    
    VarMap
    
    VarSet
    
    VarTbl
  - Compiler_version
  - Dgraph
    
    ISet
    
    Make
    
    DOMAIN
    
    N
    
    NMap
    
    NSet
    
    Solver
    
    D
    
    Make_Imperative
    
    DOMAIN
    
    N
    
    NSet
    
    NTbl
    
    Solver
    
    D
    
    Tbl
  - Driver
  - Eval
  - Flow
  - Freevars
  - Generate
  - Generate_closure
  - Inline
  - Instr
  - Javascript
    
    IdentMap
    
    IdentSet
    
    Label
  - Js_assign
  - Js_lexer
  - Js_output
  - Js_parser
  - Js_simpl
  - Js_token
  - Js_traverse
    
    clean
    
    compact_vardecl
    
    free
    
    freevar
    
    map
    
    mapper
    
    rename_variable
    
    share_constant
    
    simpl
    
    subst
  - Jsoo_deadcode
  - Jsoo_primitive
  - Jsoo_strongly_connected_components
    
    Make
    
    Id
    
    Map
    
    Set
    
    S
    
    Id
    
    Map
    
    Set
  - Jsoo_subst
  - Link_js
  - Linker
  - Option
    
    Debug
    
    Optim
    
    Param
  - Parse_bytecode
    
    Debug
  - Parse_info
  - Parse_js
  - Phisimpl
  - Pretty_print
  - PseudoFs
  - Pure_fun
  - Reserved
  - Source_map
  - Source_map_io
  - Specialize
  - Specialize_js
  - Tailcall
  - Util
    
    BitSet
    
    IntMap
    
    IntSet
    
    MagicNumber
    
    StringMap
    
    StringSet
    
    Timer
    
    Version
  - VarPrinter
  - Vlq64
js_of_ocaml-compiler.findlib-support
- Jsoo_findlib_support

Legend:
Library
Module
Module type
Parameter
Class
Class type

type def =

| Phi of Code.VarSet.t
| Expr of Code.expr
| Param

type info = {

info_defs : def array;
info_known_origins : Code.VarSet.t Code.VarTbl.t;
info_maybe_unknown : bool Code.VarTbl.t;
info_possibly_mutable : bool array;

}

val get_approx : 
  info ->
  (Code.VarSet.elt -> 'b) ->
  'b ->
  ('b -> 'b -> 'b) ->
  Code.VarTbl.key ->
  'b

val the_def_of : info -> Code.prim_arg -> Code.expr option

val the_const_of : info -> Code.prim_arg -> Code.constant option

val the_string_of : info -> Code.prim_arg -> string option

val the_int : info -> Code.prim_arg -> int32 option

val update_def : info -> Code.Var.t -> Code.expr -> unit

val f : ?skip_param:bool -> Code.program -> Code.program * info