`module Integer : sig ... end`
`type boxed_number =`

1. `| Int32`
2. `| Int64`
3. `| Nativeint`
4. `| Float`

`type typ =`

1. `| Top`
2. `| Int of Integer.kind`
3. `| Number of boxed_number`
4. `| Tuple of typ array`
5. `| 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`