deserialize_llbc
charon_
lib
0.1.148
charon_lib
Function
deserialize_
llbc
Copy item path
Source
pub fn deserialize_llbc(path: &
Path
) ->
Result
<
TranslatedCrate
>
Expand description
Read a
.llbc
file.