/usr/lib/ocaml/arith_status.mli is in ocaml-nox 3.12.1-2ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 | (***********************************************************************)
(* *)
(* 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_status.mli 9547 2010-01-22 12:48:24Z doligez $ *)
(** Flags that control rational arithmetic. *)
val arith_status: unit -> unit
(** Print the current status of the arithmetic flags. *)
val get_error_when_null_denominator : unit -> bool
(** See {!Arith_status.set_error_when_null_denominator}.*)
val set_error_when_null_denominator : bool -> unit
(** Get or set the flag [null_denominator]. When on, attempting to
create a rational with a null denominator raises an exception.
When off, rationals with null denominators are accepted.
Initially: on. *)
val get_normalize_ratio : unit -> bool
(** See {!Arith_status.set_normalize_ratio}.*)
val set_normalize_ratio : bool -> unit
(** Get or set the flag [normalize_ratio]. When on, rational
numbers are normalized after each operation. When off,
rational numbers are not normalized until printed.
Initially: off. *)
val get_normalize_ratio_when_printing : unit -> bool
(** See {!Arith_status.set_normalize_ratio_when_printing}.*)
val set_normalize_ratio_when_printing : bool -> unit
(** Get or set the flag [normalize_ratio_when_printing].
When on, rational numbers are normalized before being printed.
When off, rational numbers are printed as is, without normalization.
Initially: on. *)
val get_approx_printing : unit -> bool
(** See {!Arith_status.set_approx_printing}.*)
val set_approx_printing : bool -> unit
(** Get or set the flag [approx_printing].
When on, rational numbers are printed as a decimal approximation.
When off, rational numbers are printed as a fraction.
Initially: off. *)
val get_floating_precision : unit -> int
(** See {!Arith_status.set_floating_precision}.*)
val set_floating_precision : int -> unit
(** Get or set the parameter [floating_precision].
This parameter is the number of digits displayed when
[approx_printing] is on.
Initially: 12. *)
|