Skip to main content

proof_level

Function proof_level 

Source
fn proof_level(backend: ProverBackendArg, level: ProverLevelArg) -> &'static str