Skip to main content

toolchain_version

charon_driver::toolchain

Function toolchain_version 

Source 
pub fn toolchain_version() -> String