toggle menu
DICE API Documentation
JVM
switch theme
search in API
DICE API Documentation
/
com.embabel.dice.common
/
PropositionGeneralized
/
PropositionGeneralized
Proposition
Generalized
constructor
(
proposition
:
Proposition
,
generalizes
:
List
<
Proposition
>
,
timestamp
:
Instant
=
Instant.now()
)