Lift_code
type lifter = Flambda.program -> Flambda.program
val lift_lets : lifter
val lifting_helper :
Flambda.t list ->
evaluation_order:[ `Left_to_right | `Right_to_left ] ->
create_body:(Variable.t list -> Flambda.t) ->
name:Internal_variable_names.t ->
Flambda.t