Crate cvlr 

Re-exports

pub use prelude::*;

Modules

asserts

decimal

derive

fixed

log

macros

mathint

nondet

prelude

spec

u128_arith

Macros

pif

Convert a cvlr::predicate annotated function name to CvlrPredicate

Functions

is_u8

is_u16

is_u32

is_u64

is_u128

Attribute Macros

predicate

Converts a function into a CVLR predicate.