You can search for identifiers within the package.
in-package search v0.2.0
type t = (string * Expr.t) list
List of output valuations
val to_string : t -> string