You can search for identifiers within the package.
in-package search v0.2.0
type _ param =
| Model : bool param
| Unsat_core : bool param
type t
val default_value : 'a param -> 'a
val default : unit -> t
val (&) : t -> ('a param * 'a) -> t
val set : t -> 'a param -> 'a -> t
val get : t -> 'a param -> 'a