Module Online_nearest_common_ancestor_skiplist.Make

Parameters

module Elt : sig ... end

Signature

val nil : int * 'a array
val cons : Elt.t -> int * Elt.t parents
val nth : Elt.t -> int -> Elt.t
val nearest_common_ancestor_same_depth : Elt.t -> Elt.t -> Elt.t
val nearest_common_ancestor : Elt.t -> Elt.t -> Elt.t