pub fn topo_sort_data_declarations<T: Types>( datatype_decls: Vec<DataDecl<T>>, ) -> Vec<DataDecl<T>>