HoldsOption
Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds.
Inheritors
Functions
Link copied to clipboard
abstract fun withClaim(holds: Boolean): AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, R>>
Uses the given holds as AssertionGroup.holds (or for the fixed part).
Properties
Link copied to clipboard
Defines the AssertionGroup (or the fixed part) does not hold.
Link copied to clipboard
The previously defined AssertionGroup.type.
Link copied to clipboard
Defines the AssertionGroup (or the fixed part) holds