Up – Package index » kappa-library » Library kappa-library.generic » Kappa_data_structures » Fifo

Module `Kappa_data_structures.Fifo`Source

FIFO

Sourcetype 'a t

Sourceval empty : 'a t

Sourceval is_empty : 'a t -> bool

Sourceval push : 'a -> 'a t -> 'a t

Sourceval pop : 'a t -> 'a t * 'a option