You can search for identifiers within the package.
in-package search v0.2.0
type t = (Kat.expr * [ `Eq | `Le ] * Kat.expr) list
exception Unusable of string
val eliminate : t -> Kat.expr -> Kat.expr -> Kat.expr' * Kat.expr' * Kat.expr'