You can search for identifiers within the package.
in-package search v0.2.0
type file = [
| `File of string list
]
type dir = [
| `Dir of string list
type file_or_dir = [
| file
| dir
module type S = sig ... end
module type KV_RW = sig ... end
module Make (Pclock : Mirage_clock.PCLOCK) (Fs : KV_RW) : S with type t = Fs.t