n-ary-fun-printing #61

There is no content yet.

J'ai relu, c'est bien comme changement, mais attention, il y a plein de commits non-liés dans l'historique, donc il ne faudrait pas "merger" maintenant.

(J'ai mis une petite remarque sur un bout que tu peux simplifier en utilisant un combinateur de pprint déjà existant)

 let print_nary_abstraction abs print_arg args rhs =
   string abs
   ^^ List.fold_left (fun acc arg -> acc ^^ space ^^ print_arg arg) empty args

n-ary-fun-printing #61

Reviewers