DICE API Documentation/com.embabel.dice.proposition.revision/RevisionResult/Generalized/Generalized

Generalized

constructor(proposition: Proposition, generalizes: List<Proposition>)