You can search for identifiers within the package.
in-package search v0.2.0
preface.laws
Traversable.For_monad
module T : Preface_specs.Traversable.API_OVER_MONAD
val traversable_1 : unit -> ('a T.t, 'a T.t) Law.t