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