You can search for identifiers within the package.
in-package search v0.2.0
ltac2_plugin
Ltac2_plugin.Tac2stdlib
Standard tactics sharing their implementation with Ltac1
val intro_pattern : Tac2types.intro_pattern Tac2ffi.repr