toggle menu
DICE API Documentation
JVM
switch theme
search in API
DICE API Documentation
/
com.embabel.dice.proposition
/
Proposition
/
withProvenance
with
Provenance
fun
withProvenance
(
entries
:
List
<
ProvenanceEntry
>
)
:
Proposition
Create a copy whose provenance is exactly
entries
, replacing any existing entries.