at.logic.gapt.expr.schema
************* OPERATORS ****************
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
************* OPERATORS ****************