M.VarType
type t = Lp_highs_bindings_types.M(G).VarType.t =
| CONTINUOUS
| INTEGER
| SEMI_CONTINUOUS
| SEMI_INTEGER
| IMPLICIT_INTEGER
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