at.logic.gapt.proofs.ceres.struct.structToExpressionTree
The name of this logical constant, e.g.
The name of this logical constant, e.g. "∀"
The fixed type of this logical constant, e.g.
The fixed type of this logical constant, e.g. To->To->To