M.BoolInt
val of_int : int Lp_glpk_consts.G.const -> bool
val to_int : bool -> int Lp_glpk_consts.G.const
val t : bool G.typ