You can search for identifiers within the package.
in-package search v0.2.0
type t = (bool * int) list list * int
val parse : string -> t
val print : t -> string
val to_formula : t -> Exp.var list * Exp.formula