M.OptionType
type t = Lp_highs_bindings_types.M(G).OptionType.t =
| BOOL
| INT
| DOUBLE
| STRING
val of_int : int Lp_highs_consts.G.const -> t
val to_int : t -> int Lp_highs_consts.G.const
val t : t G.typ