collect_specs

Function collect_specs 

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