Module Nsatz_plugin.IdealSource

Sourcetype metadata = {
  1. name_var : string list;
}
Sourcemodule Monomial : sig ... end
Sourcemodule Make (P : Polynom.S) : sig ... end
Sourceexception NotInIdeal
Sourceval lexico : bool Stdlib.ref