M.Status
type t = Lp_highs_bindings_types.M(G).Status.t =
| ERROR
| OK
| WARNING
val of_int : int Lp_highs_consts.G.const -> t
val to_int : t -> int Lp_highs_consts.G.const
val to_string : t -> string
val t : t G.typ