You can search for identifiers within the package.
in-package search v0.2.0
module R8 : Trie.V2.S with type key = t and type token = word
module R16 : Trie.V2.S with type key = t and type token = word
module R32 : Trie.V2.S with type key = t and type token = word
module R64 : Trie.V2.S with type key = t and type token = word