Previous: Grammar record, Up: Compiler
Lattices are implemented as abstract data types (ADTs). Each abstract data type is implemented as an Oz functor. In this section, we start with an overview of the lattice functors in Lat-Overview, before we explain the individual lattice functors.1
[1] In the explanation of the individual lattice
functors, we omit the top, bot, glb,
encode, decode and pretty features because their
function explained elsewhere in this manual: top, bot
and glb are explained Types reference. encode,
decode and pretty are explained in IL syntax,
SL syntax, and OL syntax — they convert back and forth
between these languages.