Typing (wasm_of_ocaml-compiler.Wasm_of_ocaml

module Integer : sig ... end

type boxed_number =

| Int32
| Int64
| Nativeint
| Float

type boxed_status =

| Boxed
| Unboxed

module Bigarray : sig ... end

type typ =

| Top
| Int of Integer.kind
| Number of boxed_number * boxed_status
| Tuple of typ array
| Bigarray of Bigarray.t
| Bot

val constant_type : Js_of_ocaml_compiler.Code.constant -> typ

val can_unbox_parameters : 
  Call_graph_analysis.t ->
  Js_of_ocaml_compiler.Code.Var.t ->
  bool

val bigarray_element_type : Bigarray.kind -> typ

type t

val var_type : t -> Js_of_ocaml_compiler.Code.Var.t -> typ

val return_type : t -> Js_of_ocaml_compiler.Code.Var.t -> typ

val reset : unit -> unit

val register_prim : string -> unbox:bool -> typ -> unit

val f : 
  global_flow_state:Js_of_ocaml_compiler.Global_flow.state ->
  global_flow_info:Js_of_ocaml_compiler.Global_flow.info ->
  fun_info:Call_graph_analysis.t ->
  deadcode_sentinel:Js_of_ocaml_compiler.Code.Var.t ->
  Js_of_ocaml_compiler.Code.program ->
  t