package pacomb

  1. Overview
  2. Docs

useful particular case, when container are used for graphs or union find and you associate containers to containers

type 'a table
type 'b container
type ('a, 'b) elt = 'b
val create : unit -> 'b container
val create_table : unit -> 'a table
val address : 'b container -> 'b tag
val eq : 'a container -> 'b container -> ('a, 'b) eq
val add : 'a table -> 'b container -> ('a, 'b) elt -> unit
val find : 'a table -> 'b container -> ('a, 'b) elt
val clear : 'a table -> unit
val length : 'a table -> int
type 'a iter = {
  1. f : 'b. ('a, 'b) elt -> unit;
}
val iter : 'a iter -> 'a table -> unit
type ('a, 'c) fold = {
  1. f : 'b. ('a, 'b) elt -> 'c -> 'c;
}
val fold : ('a, 'c) fold -> 'a table -> 'c -> 'c