You can search for identifiers within the package.
in-package search v0.2.0
Msat_backtrack.ml
1 2 module Ref = Backtrackable_ref
1 2
module Ref = Backtrackable_ref