Up
–
rocq-runtime
»
Nsatz_core_plugin
»
Ideal
» Monomial
Module
Ideal.Monomial
type
t
val
repr :
t
->
int array
val
make :
int array
->
t