module Package_index: DOUBLE_INDEX
with
type e1 = package_name and
type e2 = package and
type id = package_id
The database contains a ``double index'' for packages, the first is for
mapping package names to package IDs.
type
e1
type
e2
type
elt = e1 * e2
type
id
type
t
val create : unit -> t
val register : t -> elt -> id
val replace : t -> elt -> unit
val find : t -> id -> elt
val search1 : t -> e1 -> id
val search2 : t -> e2 -> id
val compare_id : id -> id -> int
val scribe_id : 'a Conduit.conduit -> 'a -> id -> unit
val iter : t ->
(id -> elt -> unit) -> unit
val set_watcher : t ->
(id -> elt -> unit) -> unit