interface FixedClaimLikeGroup (source)
Defines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds or the like.
With the like is meant that AssertionGroup.holds does either not at all or at least not only depend on AssertionGroup.assertions but also on a fixed part.
interface GroupTypeOption<R>
Option step which allows to specify the AssertionGroup.type. |
|
interface HoldsOption<T : AssertionGroupType, R>
Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds. |