You can search for identifiers within the package.
in-package search v0.2.0
msat.backend
Msat_backend
module Backend_intf : sig ... end
Backend interface
module Coq : sig ... end
Coq Backend
module Dedukti : sig ... end
Deduki backend for proofs
module Dot : sig ... end
Dot backend for proofs