int__Abs.ml 91 Bytes
Newer Older
1 2
(* This file has been generated from Why3 theory int.Abs *)

3
let abs = Why3__BigInt.abs
4 5 6