Crate liquid_fixpoint

This crate implements an interface to the liquid-fixpoint binary

Modules

• constraint 🔒
• format 🔒

Macros

• declare_types

Structs

• Bind
• ConstDecl
• CrashInfo
• DataCtor
• DataDecl
• DataField
• DefaultTypes 🔒
• Error
• ErrorInner 🔒
• KVarDecl
• Qualifier
• Stats
• Task

Enums

• BinOp
• BinRel
• Constant
• Constraint
• Expr
• FixpointResult
• Pred
• SmtSolver
• Sort
• SortCtor

Traits

• FixpointFmt
• Identifier
• Types