module W : Pds_reachability_work.Work_typemodule W = Wval equal_work_collection : work_collection -> work_collection -> boolAn equality test for work collections.
val compare_work_collection : work_collection -> work_collection -> intA comparator for work collections.
val pp_work_collection : Batteries.Format.formatter -> work_collection -> unitA pretty-printer for work collections.
val show_work_collection : work_collection -> stringA conversion from work collections to strings.
val empty : work_collectionAn empty work collection.
val offer : W.t -> work_collection -> work_collectionAdds a work unit to a work collection.
val take : work_collection -> work_collection * W.t optionExtracts a work unit from a work collection. The only guaratees made by this routine are as follows:
In particular, there are no guarantees made about the order in which the offered elements are taken.
val is_empty : work_collection -> boolDetermines if a work collection is empty.
val size : work_collection -> intDetermines the number of elements to be taken from a given work collection.
val enum : work_collection -> W.t Batteries.Enum.tEnumerates the elements in a work collection in the order in which they would be taken.
val to_yojson : work_collection -> Yojson.Safe.tExports a work collection as JSON.