We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
fall16/classes/12-abstraction-functions-rep-invariants: ex12-adt-examples