veri_
engine_
lib
0.1.0
Module interp
Module Items
Structs
In crate veri_
engine_
lib
veri_engine_lib
Module
interp
Copy item path
Source
Structs
ยง
Assumption
Assumption consist of single verification IR expressions, which must have boolean type.
Context