Flow (js_of_ocaml-compiler.Js_of_ocaml

module Info : sig ... end

val get_approx : 
  Info.t ->
  (Js_of_ocaml_compiler.Code.Var.Set.elt -> 'b) ->
  'b ->
  ('b -> 'b -> 'b) ->
  Code.Var.Tbl.key ->
  'b

val the_def_of : Info.t -> Code.prim_arg -> Code.expr option

val the_const_of : 
  eq:(Code.constant -> Code.constant -> bool) ->
  Info.t ->
  Code.prim_arg ->
  Code.constant option

val the_string_of : Info.t -> Code.prim_arg -> string option

val the_native_string_of : 
  Info.t ->
  Code.prim_arg ->
  Code.Native_string.t option

val the_block_contents_of : Info.t -> Code.prim_arg -> Code.Var.t array option

val the_int : Info.t -> Code.prim_arg -> Targetint.t option

val f : Code.program -> Code.program * Info.t