You can search for identifiers within the package.
in-package search v0.2.0
Here is the list of PVMs available in this protocol.
module PVM : sig ... end
module Kind : sig ... end
A smart contract rollup has a kind, which assigns meaning to rollup operations.