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