module Injector:sig
..end
In the block outer_block
in the function kf
, this function finds the
innermost last statement and insert the list of statements returned by
last_stmts
.
The function last_stmts
receives an optional argument ?return_stmt
with
the innermost return statement if it exists. In that case the function needs
to return this statement as the last statement.
val inject : unit -> unit