HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | (* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh |
| 2 | * Jagannathan, and Stephen Weeks. | |
| 3 | * | |
| 4 | * MLton is released under a BSD-style license. | |
| 5 | * See the file MLton-LICENSE for details. | |
| 6 | *) | |
| 7 | ||
| 8 | signature BOUNDED_EPHEMERAL_QUEUE = | |
| 9 | sig | |
| 10 | include EPHEMERAL_QUEUE | |
| 11 | ||
| 12 | structure I: INTEGER | |
| 13 | val empty: I.t -> '1a t | |
| 14 | val size: 'a t -> I.t | |
| 15 | val maxSize: '1a t -> I.t | |
| 16 | val isFull: '1a t -> bool | |
| 17 | end |