pub fn recursor_name(ind_name: &Name) -> Name
Return the recursor name for a given inductive type name.