1.Previous
3.Next

This signature describes a module that provides a polymorphic type , , and values that define basic operations on queues.

Structures

A structure is a module; it consists of a collection of types, exceptions, values and structures (called substructures) packaged together into a logical unit.

A queue structure can be implemented as follows:

structure TwoListQueue :> QUEUE = struct type 'a queue = 'a list * 'a list

exception QueueError;

val

1.Previous
3.Next