diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-11-06 10:34:19 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-11-06 10:34:19 +0000 |
| commit | 36381cc4d98ce6c63e148ca63b44bcee0fa508ff (patch) | |
| tree | 26f46fcc0f35df534d5109288e593ead14913684 /otherlibs/num/arith_flags.ml | |
| parent | 9b509431e4456edf7391bac5c492423be46be9ad (diff) | |
Portage de libnum pour Caml Special Light
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/num/arith_flags.ml')
| -rw-r--r-- | otherlibs/num/arith_flags.ml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/otherlibs/num/arith_flags.ml b/otherlibs/num/arith_flags.ml new file mode 100644 index 000000000..e9d9fb035 --- /dev/null +++ b/otherlibs/num/arith_flags.ml @@ -0,0 +1,23 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + +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;; + |