You can search for identifiers within the package.
in-package search v0.2.0
msat.backend
Msat_backend.Backend_intf
Backend interface
This modules defines the interface of the modules providing export of proofs.
module type S = sig ... end
Proof exporting