PropositionMerge

data class PropositionMerge(val sources: List<Proposition>, val result: Proposition)

Represents a merge of multiple propositions into one.

Constructors

Link copied to clipboard
constructor(sources: List<Proposition>, result: Proposition)

Properties

Link copied to clipboard

The merged proposition

Link copied to clipboard

The original propositions that were merged