Die verfügbaren Implementationen sind nach den VDM-Basistypen geordnet; beide finden Sie in alphabetischer Reihenfolge. Sie erfahren generelle Eigenschaften, Einschränkungen bezüglich der Datentypen oder Element-Implementationen, die interne Repräsentation sowie die Parameter. Fast alle Parameter sind optional; der Default ist angegeben. Bei Flags bedeutet der Wert 0, daß es nicht gesetzt ist. In der Überschrift finden Sie zusätzlich zum Namen des ADT übrigens noch seine Bezeichnung in der VDM-Bibliothek, die auf die ersten vier Zeichen verkürzt ist.