arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver/SpecialKind

SpecialKind

enum SpecialKind : Enum<SpecialKind>
Content copied to clipboard

Entries

NotLookArgs
Link copied to clipboard
NotLookArgs()
Content copied to clipboard
TrustBlock
Link copied to clipboard
TrustBlock()
Content copied to clipboard
TrustCall
Link copied to clipboard
TrustCall()
Content copied to clipboard
Invariant
Link copied to clipboard
Invariant()
Content copied to clipboard
Post
Link copied to clipboard
Post()
Content copied to clipboard
Pre
Link copied to clipboard
Pre()
Content copied to clipboard

Properties

name
Link copied to clipboard
val name: String
Content copied to clipboard
ordinal
Link copied to clipboard
val ordinal: Int
Content copied to clipboard