1
2
3
4
5
6
7
8
9
10
11
# 1 "extracted/Version.ml"
(** val coq_Flocq_version : Farith_Big.big_int **)
let coq_Flocq_version =
(Farith_Big.double (Farith_Big.double (Farith_Big.succ_double
(Farith_Big.double (Farith_Big.double (Farith_Big.succ_double
(Farith_Big.double (Farith_Big.succ_double (Farith_Big.double
(Farith_Big.double (Farith_Big.succ_double (Farith_Big.succ_double
(Farith_Big.succ_double (Farith_Big.double (Farith_Big.double
Farith_Big.one)))))))))))))))