You can search for identifiers within the package.
in-package search v0.2.0
module Make (A : Types.Min) : Types.S with type target = A.target
If you want to write an instance of meta_conv implementation, you define the following primitive encoders and decoders at least.