You can search for identifiers within the package.
in-package search v0.2.0
lua-ml
Lualib.USERCODE
type 'a userdata'
module M (C : CORE with type 'a V.userdata' = 'a userdata') : sig ... end