toggle menu
DICE API Documentation
JVM
switch theme
search in API
DICE API Documentation
/
com.embabel.dice.proposition.revision
/
RevisionResult
/
Merged
Merged
data
class
Merged
(
val
original
:
Proposition
,
val
revised
:
Proposition
)
:
RevisionResult
Merged with an existing identical proposition
Members
Constructors
Merged
Link copied to clipboard
constructor
(
original
:
Proposition
,
revised
:
Proposition
)
Properties
original
Link copied to clipboard
val
original
:
Proposition
revised
Link copied to clipboard
val
revised
:
Proposition