14.4.62  Priority

The standard library Priority api provides an argument API for generics which generate priority queues.

The Priority api source code is in src/lib/src/priority.api.

See also: Priority_Queue.

The above information is manually maintained and may contain errors.

api {
    Priority ;
    Item ;
    compare : (Priority , Priority) -> Order;
    priority : Item -> Priority;
};