pub type mpoly_compression_t = [mpoly_compression_struct; 1];