Module Nsatz_plugin.Ideal

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