let
string_pset = to_format (
BatSet
.print
BatString
.print)