You can search for identifiers within the package.
in-package search v0.2.0
lablgtk3-sourceview3
GtkSourceView3Props.SourceCompletionProposal
val cast : 'a Gobject.obj -> GtkSourceView3_types.source_completion_proposal Gobject.obj
module P : sig ... end
module S : sig ... end
val create : GtkSourceView3_types.source_completion_proposal Gobject.param list -> GtkSourceView3_types.source_completion_proposal Gobject.obj