Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

int__MinMax.ml 119 Bytes
Newer Older
1 2
(* This file has been generated from Why3 theory int.MinMax *)

3 4
let min = Why3__BigInt.min
let max = Why3__BigInt.max
5