Module Tezos_base.Skip_list

This module provides an implementation of the skip list data structure.

module type MONAD = sig ... end

Basic signature for a monad.

module type S = sig ... end

A skip list represents a sequence of values. There are three main differences between these skip lists and OCaml standard lists:

module type INDEX_CHECKS = sig ... end

Checks that the indices a skip list path discloses are the ones its shape prescribes.

module Make (_ : sig ... end) : sig ... end