Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 86f8d60c78
Fetching contributors…

Cannot retrieve contributors at this time

25 lines (18 sloc) 1.17 kb
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the GNU Library General Public License, with *)
(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
(* $Id: arith_flags.ml 9547 2010-01-22 12:48:24Z doligez $ *)
let error_when_null_denominator_flag = ref true;;
let normalize_ratio_flag = ref false;;
let normalize_ratio_when_printing_flag = ref true;;
let floating_precision = ref 12;;
let approx_printing_flag = ref false;;
Jump to Line
Something went wrong with that request. Please try again.