at.logic.gapt.proofs.ceres
Returns s.toString with color coding of struct operators.
Returns s.toString with color coding of struct operators. When a big struct is loaded in the cli, the string truncation can mess up the terminal, therefore this is not the default behaviour.