Js_of_ocaml_compiler.Partial_cps_analysis
val annot : Code.Var.Set.t -> Code.Print.xinstr -> string
val f : Code.program -> Global_flow.info -> Code.Var.Set.t