The type of bijections.

The type of elements in bijection with {0; ..; n-1}.

of_list l Constructs a bijection between l and {0; ...; n-1}. The bijection is constructed by assigning to the elements l₀, l₁, ..., l_n-1 the indices {0; 1; ...; n-1}.

Get the nth element out of the bijection. This is O(1).

• raises Invalid_argument

  if the element is out of the range of the bijection.

Same as nth_exn but returns None if out of range.

Returns the index of a given element. This is O(log2(n)) for a set with n elements when using the map-based implementation.

• raises Not_found

  if element is not in the domain of the bijection.

See idx_opt

Returns the size of domain of the bijection.

Folds over the graph of the bijection.