module SkipList: sig end
Module that provides the skiplist datastructure.
module type OrderedType = sig end
Types used as skiplist keys have to be ordered
module type S = sig end
The signature of skiplists for a given key type
module Make: functor (Ord : OrderedType) -> sig end
Create a new skiplist module for the given key type.