Expand description
Analysis-derived function specifications.
These types represent function contract information discovered by
static analysis, as opposed to YAML-authored FunctionSpec entries.
Structs§
- Computed
Bound - A computed return bound: return interval depends on an argument property.
- Derived
Spec - Analysis-derived specification for a function.
Enums§
- Bound
Mode - How a return value is bounded by an argument property.