Module Heuristic.BfsSource

Sourcetype 'a t
Sourceval push : 'a -> 'a t -> 'a t
Sourceval pop : 'a t -> 'a * 'a t
Sourceval singleton : 'a -> 'a t
Sourceval length : 'a t -> int
Sourceval is_empty : 'a t -> bool
Sourceval empty : 'a t