Nsatz_core_plugin.Ideal
type metadata = {
name_var : string list;
}
module Monomial : sig ... end
module Make (P : Polynom.S) : sig ... end
exception NotInIdeal
val lexico : bool Stdlib.ref