Module M.HighsInt

type t = int
val t : int G.typ