START_BLOCK_ID
charon_
lib
0.1.153
In charon_
lib::
ast::
ullbc_
ast
charon_lib
::
ast
::
ullbc_ast
Static
START_
BLOCK_
ID
Copy item path
Source
pub static START_BLOCK_ID:
BlockId