You can search for identifiers within the package.
in-package search v0.2.0
type t
type revoker
exception RevokedToken
exception AlreadyRevoked
val create : unit -> t * revoker
val revoke : revoker -> unit
val revoked : t -> bool
val (=) : t -> t -> bool