There was an error while loading. Please reload this page.
classes/11-abstraction-functions-rep-invariants: ex11-adt-examples