Skip to main content

proof_to_rust

oxilean_std::program_extraction::functions

Function proof_to_rust 

Source 
pub fn proof_to_rust(prog: &ExtractedProgram) -> String
Expand description

Generate a Rust pseudocode string representing the extracted program.