Modules§
Structs§
- Infer
Opts - Options that change the behavior of refinement type inference locally
- Partial
Infer Opts
Enums§
- Pointer
Width - SmtSolver
- Value
- Representation of a TOML value.
Statics§
Functions§
- allow_
uninterpreted_ cast - annots
- cache_
path - catch_
bugs - check_
def - check_
overflow 🔒 - config_
path 🔒 - dump_
checker_ trace - dump_
constraint - dump_
fhir - dump_
mir - dump_
rty - full_
compilation - ignore_
default - is_
cache_ enabled - is_
checked_ file - log_dir
- pointer_
width - scrape_
quals 🔒 - smt_
define_ fun - solver 🔒
- timings
- trusted_
default - verbose
- verify