Js_of_ocaml_compiler.Pure_fun
val pure_expr : Code.Var.Set.t -> Code.expr -> bool
val pure_instr : Code.Var.Set.t -> Code.instr -> bool
val f : Code.program -> Code.Var.Set.t