Module Operation_pool.Prioritized_operation

type t

prioritize operations coming from an external source (file, uri, ...). An operation with higher priority (aka a bigger integer) will be included before others with lower priority.

prioritize operations coming from a node

packed t retrieves the packed_operation wrapped inside t

val compare_priority : t -> t -> int

compare_priority o1 o2 compares whether o1 has higher priority than o2

val compare : t -> t -> int

compare is compare_priority when non-zero. This is suitable to construct sets of prioritized operations *