Module linearize_matches 

Functions

lift_match_vars

Converts free vars inside the match arms into lambdas with applications around the match to pass them the external value.