Skip to main content

serialize

charon_lib::minirust

Function serialize 

Source 
pub fn serialize(
    krate: &TranslatedCrate,
    writer: impl Write,
) -> Result<(), Error>