You can search for identifiers within the package.
in-package search v0.2.0
codex.smtbackend
Smtbackend.Smtlib
type counter_example = unit
type sat =
| Sat of counter_example
| Unsat
| Unknown
module type COMMON_S = sig ... end
module type TYPED_S = sig ... end
module type UNTYPED_S = sig ... end
module type UNTYPED_MUZ = sig ... end
module type PARAM_S = sig ... end
module Make_Typed (P : PARAM_S) : TYPED_S
module Make_Untyped (P : PARAM_S) : UNTYPED_S
module Make_Untyped_Muz (P : PARAM_S) : UNTYPED_MUZ
val with_z3 : ?executable:string -> ((module UNTYPED_MUZ) -> 'a) -> 'a