/usr/lib/ocaml/ocplib-simplex/polys.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 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 | (******************************************************************************)
(* ocplib-simplex *)
(* *)
(* Copyright (C) --- OCamlPro --- See README.md for information and licensing *)
(******************************************************************************)
module type SIG = sig
module Var : ExtSigs.VAR_SIG
module R : ExtSigs.R_SIG
type t
type var_status = New | Exists | Removed
val empty : t
val is_polynomial : t -> bool
val is_empty : t -> bool
val replace : Var.t -> R.t -> t -> t * var_status
val accumulate : Var.t -> R.t -> t -> t * var_status
val append : t -> R.t -> t -> t * (Var.t * var_status) list
val subst : Var.t -> t -> t -> t * (Var.t * var_status) list
val from_list : (Var.t * R.t) list -> t
val print : Format.formatter -> t -> unit
val fold: (Var.t -> R.t -> 'a -> 'a) -> t -> 'a -> 'a
val iter: (Var.t -> R.t -> unit) -> t -> unit
val partition: (Var.t -> R.t -> bool) -> t -> t * t
val compare : t -> t -> int
val mem : Var.t -> t -> bool
val equal : t -> t -> bool
val bindings : t -> (Var.t * R.t) list
val find : Var.t -> t -> R.t
val remove : Var.t -> t -> t
end
module Make(Var: ExtSigs.VAR_SIG)(R : ExtSigs.R_SIG) : SIG
with module Var = Var and module R = R
|