mlmpfr_real.ml 150 Bytes
Newer Older
1 2 3 4 5 6
(* TODO This wrapper should eventually be removed ! *)

(* Exception to be raised if mpfr is not installed *)
exception Not_Implemented

include Mpfr