Skip to main content

extracted_program_ty

oxilean_std::proof_mining::functions

Function extracted_program_ty 

Source 
pub fn extracted_program_ty() -> Expr
Expand description

ExtractedProgram: ML-like program extracted from constructive proof