API Reference adt v1.0.0

modules

Modules

ADT

Pseudo-ADT definition generator