Structs§
- ArgCount
Mismatch 🔒 - Cannot
Infer 🔒Sort - Constructor
Missing 🔒Fields - Duplicate
Field 🔒Used - Duplicated
Ensures 🔒 - Expected
Fun 🔒 - Field
NotFound 🔒 - Hide
AndReveal 🔒Definition - Hide
Inlined 🔒Definition - Hide
Uninterpreted 🔒Function - IllSorted
Quantifier 🔒 - Invalid
Cast 🔒 - Invalid
Param 🔒Pos - Invalid
Primitive 🔒DotAccess - Invalid
Wildcard 🔒Sort - Missing
Ensures 🔒 - Param
Count 🔒Mismatch - Param
NotDetermined 🔒 - Reveal
NotHidden 🔒Definition - Reveal
Uninterpreted 🔒Function - Sort
Annotation 🔒Needed - Sort
Mismatch 🔒 - Unexpected
Constructor 🔒 - Unexpected
Fun 🔒 - Unsupported
Prim 🔒Op