Defs.ml
farith
1 2 3 # 1 "extracted/Defs.ml" type float = { coq_Fnum : Farith_Big.big_int; coq_Fexp : Farith_Big.big_int }
1 2 3
# 1 "extracted/Defs.ml" type float = { coq_Fnum : Farith_Big.big_int; coq_Fexp : Farith_Big.big_int }