1.Previous
3.Next

. Furthermore, the opaque ascription denoted by states that any types which are not defined in the signature (i.e. ) should be abstract, meaning that the definition of a queue as a pair of lists is not visible outside the module. The structure implements all of the definitions in the signature.

The types and values in a structure can be accessed with "dot notation":

val q : string TwoListQueue.queue = TwoListQueue.emptyval q' = TwoListQueue.insert (Real.toString Math.pi, q)

Functors

1.Previous
3.Next