12 lines
199 B
Standard ML
12 lines
199 B
Standard ML
signature QUEUE =
|
|
sig
|
|
type 'a queue
|
|
|
|
val empty_queue: 'a queue
|
|
|
|
exception Empty
|
|
|
|
val enq: 'a queue -> 'a -> 'a queue
|
|
val deq: 'a queue -> ('a * 'a queue)
|
|
val empty: 'a queue -> bool
|
|
end;
|