charon_lib

Function deserialize_llbc

source 
pub fn deserialize_llbc(path: &Path) -> Result<TranslatedCrate>
Expand description

Read a .llbc file.