% @(#)$Id: PriorityQueueTrait.lsl,v 1.2 1997/07/31 17:39:41 leavens Exp $

PriorityQueueTrait: trait
  assumes TotalOrder(Elem for T)
  includes PriorityQueue(Elem for E, PQ[Elem] for C),
           container_objs(Elem for E, PQ[Elem] for C),
           PureValue(PQ[Elem])

[Index]

HTML generated using lcpp2html.