veri_
engine_
lib
0.1.0
Modules
annotations
interp
solver
termname
type_inference
verify
Structs
Config
Constants
FLAGS_WIDTH
MAX_WIDTH
REG_WIDTH
WIDTHS
veri_engine_lib
Constant
WIDTHS
Copy item path
Settings
Help
Summary
Source
pub const WIDTHS: [
usize
;
4
];