You can search for identifiers within the package.
in-package search v0.2.0
module F (A : sig ... end) : sig ... end
Runs PPX with type, using the above transformations. Conversion phases are as follows: