interface GroupTypeOption : FixedClaimLikeGroup.GroupTypeOption<PartiallyFixedClaimGroup.FinalStep>
Option step which allows to specify the AssertionGroup.type.
open val withFeatureType: FixedClaimLikeGroup.HoldsOption<FeatureAssertionGroupType, R>
|
|
open val withListType: FixedClaimLikeGroup.HoldsOption<ListAssertionGroupType, R>
|
abstract fun <T : AssertionGroupType> withType(groupType: T): FixedClaimLikeGroup.HoldsOption<T, R>
Uses the given groupType as AssertionGroup.type. |
fun create(): PartiallyFixedClaimGroup.GroupTypeOption |