Skip to main content

collect_specs

Function collect_specs 

Source
fn collect_specs(genv: GlobalEnv<'_, '_>) -> Specs