Functions
Link copied to clipboard
fun create(groupType: ExplanatoryAssertionGroupType, explanatoryAssertions: List<Assertion>, holds: Boolean = true): ExplanatoryGroup.FinalStep
Factory method to create the FinalStep in the building process of AssertionGroup with an ExplanatoryAssertionGroupType (specified by the given groupType) and explanatoryAssertions.