module Static: functor (M : Map) -> functor (I : Info) -> Index with type t = M.key
functor (
M
:
Map
) ->
I
Info
Index
with type t = M.key
include Data.S_collection
val get : t -> int
t -> int
val find : int -> t
int -> t
Not_found
val clear : unit -> unit
unit -> unit