You can search for identifiers within the package.
in-package search v0.2.0
arrow_alt.ml
1 2 3 4 5 6 7 module type LAWS = sig type ('a, 'b) t end module For (A : Preface_specs.ARROW_ALT) : LAWS with type ('a, 'b) t := ('a, 'b) A.t = Arrow.For (A)
1 2 3 4 5 6 7
module type LAWS = sig type ('a, 'b) t end module For (A : Preface_specs.ARROW_ALT) : LAWS with type ('a, 'b) t := ('a, 'b) A.t = Arrow.For (A)