Signature of an ADT

An ADT's list of operations is often called its signature.

(In Java, the word "signature" means something different, but I will often use technical terms with their generally accepted meanings even when some programming language has appropriated that term to mean something specific to that language.)

For debugging: Click here to validate.