You can search for identifiers within the package.
in-package search v0.2.0
Remote stores.
module type S = sig ... end
type nonrec t = ..
module None (H : Type.S) (R : Type.S) : sig ... end
Provides stub implementations of the S that always returns Error when push/pull operations are attempted.
S
Error