charon_
lib
0.1.99
Modules
ast
common
errors
export
ids
logger
name_matcher
options
pretty
transform
Macros
code_location
error
error_assert
generate_index_type
info
raise_error
register_error
sanity_check
trace
warn
Constants
VERSION
Functions
deserialize_llbc
charon_lib
Function
deserialize_llbc
Copy item path
Settings
Help
Summary
Source
pub fn deserialize_llbc(path: &
Path
) ->
Result
<
TranslatedCrate
>
Expand description
Read a
.llbc
file.