/usr/lib/ocaml/facile/fcl_float.mli is in libfacile-ocaml-dev 1.1.1-1build2.
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 | (***********************************************************************)
(* *)
(* FaCiLe *)
(* A Functional Constraint Library *)
(* *)
(* Nicolas Barnier, Pascal Brisset, LOG, CENA *)
(* *)
(* Copyright 2004 CENA. All rights reserved. This file is distributed *)
(* under the terms of the GNU Lesser General Public License. *)
(***********************************************************************)
(* $Id: fcl_float.mli,v 1.3 2003/06/11 14:43:58 barnier Exp $ *)
val epsilon : float
type elt = float
and t
val fprint_elt : out_channel -> float -> unit
val fprint : out_channel -> t -> unit
val size : t -> int
val min : t -> float
val max : t -> float
val min_max : t -> float * float
val mem : float -> t -> bool
val interval : float -> float -> t
val included : t -> t -> bool
val strictly_inf : elt -> elt -> bool
val compare_elt : elt -> elt -> int
val zero : elt -> bool
val remove_low : elt -> t -> t
val remove_up : elt -> t -> t
|