Up
–
coq-core
»
Micromega_plugin
»
Mutils
» Int
Module
Mutils.Int
type
t
= int
val
compare : int
->
int
->
int
val
equal : int
->
int
->
bool