Up
Index of module types
Q
QUEUE
[
Common
]
signature for queues
T
T
[
Sets
]
Abstract signature for finite sets of natural numbers