← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/4.04/stack.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.04/stack.mli
 
1
type 'a t
 
2
exception Empty 
 
3
val create : unit -> 'a t
 
4
val push : 'a -> 'a t -> unit
 
5
val pop : 'a t -> 'a
 
6
val top : 'a t -> 'a
 
7
val clear : 'a t -> unit
 
8
val copy : 'a t -> 'a t
 
9
val is_empty : 'a t -> bool
 
10
val length : 'a t -> int
 
11
val iter : ('a -> unit) -> 'a t -> unit
 
12
val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b