let
print fmt { litterals = sa } =
SAtom
.print fmt sa