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