Drift Engine Documentation
Toggle table of contents
1.0.0
common
Target filter
common
Switch theme
Search in API
Skip to content
Drift Engine Documentation
core
/
dev.gmitch215.drift.contract
/
ContractResult
/
Inseparable
Inseparable
data
class
Inseparable
(
val
reds
:
List
<
String
>
,
val
candidates
:
Int
)
:
ContractResult
(
source
)
The reds that break nothing every green satisfies, so no assertion can tell them apart.
Members
Constructors
Inseparable
Link copied to clipboard
constructor
(
reds
:
List
<
String
>
,
candidates
:
Int
)
Properties
candidates
Link copied to clipboard
val
candidates
:
Int
reds
Link copied to clipboard
val
reds
:
List
<
String
>