Skip to main content

discharge

planarian_gym::verification

Function discharge 

Source 
fn discharge(krate: &str, name: &str) -> Option<Discharge>