at.logic.gapt.proofs.ceres
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.
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.