Up – Package index » coq » Library micromega_plugin » Micromega_plugin » Mutils » Int

Module `Mutils.Int`Source

Sourcetype t = int

Sourceval compare : int -> int -> int

Sourceval equal : int -> int -> bool