You can search for identifiers within the package.
in-package search v0.2.0
yices2
Term.Ratio
Rational terms
val of_int : int -> int -> term
val of_int32 : int32 -> int32 -> term
val of_int64 : int64 -> int64 -> term
val of_nativeint : nativeint -> nativeint -> term
val of_q : Q.t -> term
val parse_rational : string -> term
Parse rational
Parse float
val parse_float : string -> term