Skip to main content
name_of_local
charon_
driver
0.1.184
In charon_
driver::
hax
charon_driver
::
hax
Function
name_
of_
local
Copy item path
Source
pub fn name_of_local( local: Local, var_debug_info: &
Vec
<VarDebugInfo<'_>>, ) ->
Option
<
String
>