sherlodoc.query
Private.Succ
This module provides a way to get the first n elements of a very large set without computing the whole list of elements.
sherlodoc.db
sherlodoc.db_store
sherlodoc.storage_js
sherlodoc.storage_marshal
type t
val to_seq : t -> Db.Entry.t Seq.t
val empty : t
val of_automata : Db.String_automata.t -> t
val of_automatas : Db.String_automata.t list -> t
val inter : t -> t -> t
val union : t -> t -> t
val inter_of_list : t list -> t
val union_of_list : t list -> t
val of_array : Db.Entry.t array -> t