Typing (wasm_of_ocaml-compiler.Wasm_of_ocaml

module Integer : sig ... end

type boxed_number =

| Int32
| Int64
| Nativeint
| Float

type typ =

| Top
| Int of Integer.kind
| Number of boxed_number
| Tuple of typ array
| Bot

val constant_type : Js_of_ocaml_compiler.Code.constant -> typ

val f : 
  state:Js_of_ocaml_compiler.Global_flow.state ->
  info:Js_of_ocaml_compiler.Global_flow.info ->
  deadcode_sentinal:Js_of_ocaml_compiler.Code.Var.t ->
  Js_of_ocaml_compiler.Code.program ->
  typ Js_of_ocaml_compiler.Code.Var.Tbl.t