toString

abstract override fun toString(): String

Name of the axiomatic method.