You can search for identifiers within the package.
in-package search v0.2.0
micromega_plugin
Q.Notations
val (//) : t -> t -> t
val (+/) : t -> t -> t
val (-/) : t -> t -> t
val (*/) : t -> t -> t
val (=/) : t -> t -> bool
val (<>/) : t -> t -> bool
val (>/) : t -> t -> bool
val (>=/) : t -> t -> bool
val (</) : t -> t -> bool
val (<=/) : t -> t -> bool