Skip to main content

run

lemma::mcp

Function run 

Source 
pub fn run(engine: &Engine, args: &Value) -> Result<String, ToolError>
Expand description

Evaluate a spec. Always explains (Engine::run(..., true)). No explain arg. Success text is ASCII explanation trees plus a Missing data block when unbound.