let
cset_end ppf =
if
not !first
then
fprintf ppf
"@]"