You can search for identifiers within the package.
in-package search v0.2.0
electrod.libelectrod
Make_SMV_LTL.Infix
val (!!) : t -> t
val (+||) : t -> t Lazy.t -> t
val (+&&) : t -> t Lazy.t -> t
val (@=>) : t -> t Lazy.t -> t
val (@<=>) : t -> t -> t