You can search for identifiers within the package.
in-package search v0.2.0
why3find
Why3find.Dump
type 'a printer = Format.formatter -> 'a -> unit
val pp_id : Why3.Ident.ident printer
val pp_term : Why3.Term.term printer
val pp_pvsymbol_use : Why3.Ity.pvsymbol printer
val pp_pvsymbol_def : Why3.Ity.pvsymbol printer
val pp_ity : Why3.Ity.ity printer
val pp_cty : Why3.Ity.cty printer
val pp_rs_kind : Why3.Expr.rs_kind printer
val pp_rsymbol_use : Why3.Expr.rsymbol printer
val pp_rsymbol_def : Why3.Expr.rsymbol printer
val pp_expr : Why3.Expr.expr printer
val pp_cexp : Why3.Expr.cexp printer