You can search for identifiers within the package.
in-package search v0.2.0
micromega_plugin
Vect.Bound
type t = {
cst : Micromega_core_plugin.NumCompat.Q.t;
var : var;
coeff : Micromega_core_plugin.NumCompat.Q.t;
}
represents a0 + ai.xi
val of_vect : vector -> t option
val to_vect : t -> vector