enum class DescriptionNarrowingAssertion : StringBasedTranslatable
Contains the DescriptiveAssertion.descriptions of the assertion functions which postulate that a
AssertionPlant.subject of type T can be narrowed to TSub where TSub <: T.
val value: String
The default representation of this Translatable. |
open fun getDefault(): String
Returns the default representation of this Translatable which is value. |