You can search for identifiers within the package.
in-package search v0.2.0
Status of the model.
type t =
| LOADED
| OPTIMAL
| INFEASIBLE
| INF_OR_UNBD
| UNBOUNDED
| OTHER
val of_int : int -> t
val to_string : t -> string