Js_of_ocaml_compiler.Box_assignedval f : Code.program -> Code.programStore in a mutable block the variables which are the target of an Assign instruction and are referenced from another function than the one that binds them. Such references are introduced by the CPS transformation, and closures may capture variables by value.