jon.recoil.org

Module Private.SuccSource

This module provides a way to get the first n elements of a very large set without computing the whole list of elements.

Sourcetype t
Sourceval to_seq : t -> Db.Entry.t Seq.t
Sourceval empty : t
Sourceval of_automata : Db.String_automata.t -> t
Sourceval of_automatas : Db.String_automata.t list -> t
Sourceval inter : t -> t -> t
Sourceval union : t -> t -> t
Sourceval inter_of_list : t list -> t
Sourceval union_of_list : t list -> t
Sourceval of_array : Db.Entry.t array -> t