You can search for identifiers within the package.
in-package search v0.2.0
preface.laws
Monoid.For
module M : Preface_specs.MONOID
val monoid_1 : unit -> (M.t, M.t) Law.t
val monoid_2 : unit -> (M.t, M.t) Law.t