Function collect_specs

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