Js_of_ocaml_compiler.Specialize
val f : shape:(Code.Var.t -> Shape.t) -> update_def:(Code.Var.t -> Code.expr -> unit) -> Code.program -> Code.program
val switches : Code.program -> Code.program