Effects (js_of_ocaml-compiler.Js_of_ocaml

type trampolined_calls = Js_of_ocaml_compiler.Code.Var.Set.t

val remove_empty_blocks : 
  live_vars:Deadcode.variable_uses ->
  Code.program ->
  Code.program

type in_cps = Js_of_ocaml_compiler.Code.Var.Set.t

val f : 
  flow_info:Global_flow.info ->
  live_vars:Deadcode.variable_uses ->
  Code.program ->
  Code.program * trampolined_calls * in_cps