You can search for identifiers within the package.
in-package search v0.2.0
nsatz_plugin
Nsatz_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