Reference
FactCertainty
Names one conservative certainty level used by compiler facts.
Signature
type FactCertainty = "proven" | "unknown"Reference
Names one conservative certainty level used by compiler facts.
type FactCertainty = "proven" | "unknown"