plen/2 spec
This commit is contained in:
parent
2547d40356
commit
83d64308c5
|
@ -57,7 +57,7 @@
|
|||
-spec(is_queue/1 :: (any()) -> boolean()).
|
||||
-spec(is_empty/1 :: (pqueue()) -> boolean()).
|
||||
-spec(len/1 :: (pqueue()) -> non_neg_integer()).
|
||||
-spec(len_p/2 :: (priority(), pqueue()) -> non_neg_integer()).
|
||||
-spec(plen/2 :: (priority(), pqueue()) -> non_neg_integer()).
|
||||
-spec(to_list/1 :: (pqueue()) -> [{priority(), any()}]).
|
||||
-spec(from_list/1 :: ([{priority(), any()}]) -> pqueue()).
|
||||
-spec(in/2 :: (any(), pqueue()) -> pqueue()).
|
||||
|
|
Loading…
Reference in New Issue