interface FixedClaimGroup (source)
Defines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds.
interface FinalStep : BasicAssertionGroupFinalStep
Final step which creates an AssertionGroup whose AssertionGroup.holds is fixed (not determined based on its AssertionGroup.assertions but on the given holds). |
|
interface GroupTypeOption : GroupTypeOption<FinalStep> |
|
interface HoldsOption<T : AssertionGroupType> : HoldsOption<T, FinalStep> |