Function extract_program 

pub fn extract_program(
    ctx: &Context,
    entry: &str,
) -> Result<String, ExtractError>

Extract a program rooted at the given entry point.

Returns Rust source code as a string.

Arguments

• ctx - The kernel context containing definitions and inductives
• entry - The name of the entry point to extract

Errors

Returns an error if the entry point is not found or cannot be extracted.