You can search for identifiers within the package.
in-package search v0.2.0
type t =
| Int of int
| Char of int
| String of string
| Unary of t -> t
| Binary of t -> t -> t
val number_values : string -> t list
val int_plus : t
val int_minus : t
val int_times : t
val string_concat : t
val apply : t -> t -> t
val is_equal : t -> t -> bool
is_equal a b checks if a and b are the same value.
is_equal a b
a
b