Micromega_plugin__Mutils.Int
type t
= int
val compare : int -> int -> int
val equal : int -> int -> bool