You can search for identifiers within the package.
in-package search v0.2.0
module type Point = sig ... end
module LineCol : Point with type t = int * int
module Offset : Point with type t = int
type approx =
| Exact
Exact on point
| PrevIfEmpty
If no match, return prev
| Prev
If no match, return prev, if match, too
module type S = sig ... end
Located queries
module LC : S with module P := LineCol
module O : S with module P := Offset