Skip to main content
Module compute_layout_guarantees
charon_
lib
0.1.262
Module compute_
layout_
guarantees
Module Items
Structs
In charon_
lib::
transform::
add_
missing_
info
charon_lib
::
transform
::
add_missing_info
Module
compute_
layout_
guarantees
Copy item path
Source
Expand description
Compute layout facts guaranteed by the language.
Structs
ยง
Transform