You can search for identifiers within the package.
in-package search v0.2.0
mirage-crypto-ec
Mirage_crypto_ec.P256
The NIST P-256 curve, also known as SECP256R1.
module Dh : Dh
Diffie-Hellman key exchange.
module Dsa : Dsa
Digital signature algorithm.