Skip to main content

get_pinned_toolchain

charon_driver::toolchain

Function get_pinned_toolchain 

Source 
fn get_pinned_toolchain() -> Toolchain