/usr/lib/ocaml/ocplib-simplex/rat2.mli is in ocplib-simplex-ocaml-dev 0.4-1.
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 | (******************************************************************************)
(* ocplib-simplex *)
(* *)
(* Copyright (C) --- OCamlPro --- See README.md for information and licensing *)
(******************************************************************************)
module type SIG = sig
module R : ExtSigs.R_SIG
type t = R.t * R.t
val zero : t
val minus : t -> t
val add : t -> t -> t
val sub : t -> t -> t
val mult : t -> t -> t
val mult_by_const : R.t -> t -> t
val div_by_const : R.t -> t -> t
val compare : t -> t -> int
val is_zero : t -> bool
end
module Make(R : ExtSigs.R_SIG) : SIG with module R = R
|