of

fun of(label: String, vararg propositions: Proposition): PropositionGroup

Create a group from propositions with an auto-generated label.


fun of(label: String, propositions: List<Proposition>): PropositionGroup

Create a group from a list with the given label.