let
rhs printer ppf list =
fprintf ppf
"@[%a@]"
(print_list printer
","
) list