You can search for identifiers within the package.
in-package search v0.2.0
msat
Make_cdcl_t.Value
type t
The type of semantic values (domain elements)
val pp : t Solver_intf.printer
Printing function used among other for debugging.