You can search for identifiers within the package.
in-package search v0.2.0
type t = Irmin.Schema.KV(C).Branch.t
val t : t Irmin.Type.t
val main : t
val is_valid : t -> bool