You can search for identifiers within the package.
in-package search v0.2.0
Abstract representation of a proof.
type t
val equal : t -> t -> bool
val fold : ('a -> Tactic.t -> int -> 'a) -> 'a -> t -> 'a