toggle menu
DICE API Documentation
JVM
switch theme
search in API
DICE API Documentation
/
com.embabel.dice.spi
/
SweepAction
/
MergeInto
/
thenStatus
then
Status
val
thenStatus
:
PropositionStatus