module Stack: sig end
このモジュールでは、内部置き換え方式のスタック (LIFOs) が実装されています。
type 'a
t
'a
の要素を保持するスタックの型です。exception Empty
val create : unit -> 'a t
val push : 'a -> 'a t -> unit
push x s
は、要素 x
をスタック s
の一番上に追加します。val pop : 'a t -> 'a
pop s
はスタック s
の一番上にある要素を取り除いて返します。スタックが空である場合は例外 Empty
を発生します。val top : 'a t -> 'a
top s
は、スタック s
の一番上にある要素を返します (取り除きません) 。スタックが空である場合は例外 Empty
を発生します。val clear : 'a t -> unit
val copy : 'a t -> 'a t
val is_empty : 'a t -> bool
true
を、そうでなければ false
を返します。val length : 'a t -> int
val iter : ('a -> unit) -> 'a t -> unit
iter f s
は s
のすべての要素に次々と関数 f
を適用します。適用順は上から下です。スタック自体は変更されません。