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 |