Expand description
This crate implements an interface to the liquid-fixpoint binary
Modules§
Macros§
Structs§
- Bind
- Bound
Var - Const
Decl - Crash
Info - Data
Ctor - Data
Decl - Data
Field - Error
- Error
Inner 🔒 - Fixpoint
Result - FunDef
- KVar
Bind - KVar
Decl - Qualifier
- Sort
Decl - Stats
- Task
Enums§
Traits§
Type Aliases§
- Assignments
- Type alias for qualifier assignments used in constraint solving