File: succ.mli

package info (click to toggle)
ocaml-odoc 3.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 14,008 kB
  • sloc: ml: 60,567; javascript: 2,572; sh: 566; makefile: 31
file content (14 lines) | stat: -rw-r--r-- 433 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
(** This module provides a way to get the first n elements of a very large set
    without computing the whole list of elements. *)

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