gapt/gapt/gapt.proofs/gapt.proofs.ceres/coloredStructString

coloredStructString

gapt.proofs.ceres.coloredStructString

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.

Attributes

Source: StructCreators.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: coloredStructString.type

Members list

Value members

Concrete methods

Attributes

Source: StructCreators.scala

In this article

Generated with