kuilt
Toggle table of contents
0.7.0-dev
common
Target filter
common
Switch theme
Search in API
Skip to content
kuilt
kuilt-conformance
/
us.tractat.kuilt.conformance
/
RetirementReAssertion
/
RetirementReAssertion
Retirement
Re
Assertion
constructor
(
subject
:
String
,
asserted
:
S
,
retired
:
S
,
reAsserted
:
S
,
shows
:
(
S
)
->
Boolean
)
Type Parameters
S
the lattice type under test.