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