package farith

  1. Overview
  2. Docs

Source file Version.ml

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)))))))))))))))