← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/4.02/queue.mli

  • Committer: Thierry Martinez
  • Date: 2019-08-20 13:37:04 UTC
  • Revision ID: git-v1:0214afad4a32c95349c2c5a38e37cea407c455d0
Update bundles

Show diffs side-by-side

added added

removed removed

Lines of Context:
bundles/stdcompat/stdcompat-current/interfaces/4.02/queue.mli
 
1
type 'a t
 
2
exception Empty 
 
3
val create : unit -> 'a t
 
4
val add : 'a -> 'a t -> unit
 
5
val push : 'a -> 'a t -> unit
 
6
val take : 'a t -> 'a
 
7
val pop : 'a t -> 'a
 
8
val peek : 'a t -> 'a
 
9
val top : 'a t -> 'a
 
10
val clear : 'a t -> unit
 
11
val copy : 'a t -> 'a t
 
12
val is_empty : 'a t -> bool
 
13
val length : 'a t -> int
 
14
val iter : ('a -> unit) -> 'a t -> unit
 
15
val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b
 
16
val transfer : 'a t -> 'a t -> unit