Value_rec_compiler
val compile_letrec : (Ident.t * Value_rec_types.recursive_binding_kind * Lambda.lambda) list -> Lambda.lambda -> Lambda.lambda