finalize

flux_infer::lean_encoding

Function finalize 

Source 
pub fn finalize(genv: GlobalEnv<'_, '_>) -> Result<()>