/usr/lib/ocaml/reins/dug.mli is in libreins-ocaml-dev 0.1a-5.
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 | (**************************************************************************)
(* The OCaml Reins Library *)
(* *)
(* Copyright 2007 Mike Furr. *)
(* All rights reserved. This file is distributed under the terms of the *)
(* GNU Lesser General Public License version 2.1 with the linking *)
(* exception given in the COPYING file. *)
(**************************************************************************)
(** Datatype Usage Graphs *)
module Id : Types.Integral
type ('gen,'mut,'obs) kind =
| Generator of 'gen
| Mutator of 'mut
| Observer of 'obs
type ('gen,'mut,'obs) edge = {
target : Id.t;
op : ('gen,'mut,'obs) kind;
pos : int;
}
type ('gen,'mut,'obs) t = {
mutable current_id : Id.t;
nodes : (Id.t,('gen,'mut,'obs) kind) Hashtbl.t;
edges : (Id.t,('gen,'mut,'obs) edge) Hashtbl.t;
}
val create : unit -> ('gen,'mut,'obs) t
val clear : ('gen,'mut,'obs) t -> unit
val size : ('eng,'mut,'obs) t -> Id.t
val fresh_id : ('gen,'mut,'obs) t -> Id.t
val is_mutator : ('gen,'mut,'obs) kind -> bool
val is_generator : ('gen,'mut,'obs) kind -> bool
val is_observer : ('gen,'mut,'obs) kind -> bool
|