You can search for identifiers within the package.
in-package search v0.2.0
type mat = Owl_dense_matrix_s.mat
module Contact1_damped (A : sig ... end) : Owl_ode.Types.SolverT with type s = mat * mat and type t = mat and type output = mat * mat * mat
module Contact2_damped (A : sig ... end) : Owl_ode.Types.SolverT with type s = mat * mat and type t = mat and type output = mat * mat * mat