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