You can search for identifiers within the package.
in-package search v0.2.0
type t =
| Max of Poly.t
| Min of Poly.t
val maximize : Poly.t -> t
val minimize : Poly.t -> t
val take_vars : t -> Var.t list
val to_string : ?short:bool -> t -> string
val degree : t -> int