/usr/lib/ocaml/deriving-ocsigen/deriving_dynmap.mli is in libderiving-ocsigen-ocaml-dev 0.5-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 | (* Finite map : dynamic |-> t *)
open Deriving_Typeable
open Deriving_Eq
module Comp (T : Typeable) (E : Eq with type a = T.a) :
sig
type a = T.a
val eq : dynamic -> dynamic -> bool
end
module DynMap :
sig
type comparator = dynamic -> dynamic -> bool
type 'a t
val empty : 'a t
val add : dynamic -> 'a -> comparator -> 'a t -> 'a t
val mem : dynamic -> 'a t -> bool
val find : dynamic -> 'a t -> 'a option
val iter : (dynamic -> 'a -> unit) -> 'a t -> unit
end
|