package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

The saving is equal to the current size of the datastructure. Should be used when usually it is empty at backtrack point

type 'a t

val create : creator -> 'a t

val enqueue : 'a t -> 'a -> unit

val dequeue : 'a t -> 'a option

val iter : ('a -> unit) -> 'a t -> unit

val fold : ('acc -> 'a -> 'acc) -> 'acc -> 'a t -> 'acc

val length : 'a t -> int

val get : 'a t -> int -> 'a

val is_empty : 'a t -> bool

val of_seq : 'a t -> 'a Base.Sequence.t

From last current element to first

val pp : ?sep:unit Fmt.t -> 'a Fmt.t -> 'a t Fmt.t