Skip to main content
Module places
charon_
lib
0.1.240
Module places
Module Items
Structs
Enums
In charon_
lib::
ast::
bodies
charon_lib
::
ast
::
bodies
Module
places
Copy item path
Source
Expand description
Implements expressions: paths, operands, rvalues, lvalues
Structs
§
Place
Enums
§
Place
Kind
Projection
Elem
Projects a place to a subplace.