Skip to main content

handle

lean_ctx::tools::ctx_execute

Function handle 

Source 
pub fn handle(
    language: &str,
    code: &str,
    intent: Option<&str>,
    timeout: Option<u64>,
) -> String