get_archive

rustubs::fs

Function get_archive 

Source 
pub fn get_archive<'a>() -> &'a [u8]
Expand description

get an raw archive of the fstar fs slice