You can search for identifiers within the package.
in-package search v0.2.0
Interfaces for Identifiers. This module defines Interfaces that implementation of identifiers must respect in order to be used to instantiated the corresponding language classes.
module type Logic = sig ... end
module type Escape = sig ... end