Skip to main content

removed_tool

lean_ctx::core::dynamic_tools

Function removed_tool 

Source 
pub fn removed_tool(name: &str) -> Option<RemovedTool>
Expand description

The successor and migration hint for a removed tool name, else None.