List of all items

Structs

• CvlrAnd
• CvlrImplies
• spec::CvlrInvarSpec
• spec::CvlrPropImpl

Traits

• CvlrFormula
• CvlrPredicate
• spec::CvlrLemma
• spec::CvlrSpec

Macros

• cvlr_and
• cvlr_def_predicate
• cvlr_def_predicates
• cvlr_def_states_predicate
• cvlr_def_states_predicates
• cvlr_implies
• cvlr_invar_spec
• cvlr_invariant_rules
• cvlr_lemma
• cvlr_pif_and
• cvlr_predicate
• cvlr_rules
• cvlr_spec

Functions

• cvlr_and
• cvlr_implies
• cvlr_true
• spec::cvlr_invar_spec
• spec::cvlr_spec