4.15.6 List functor

4.15.6.1 Select function

See flat lattice (Lat-Flat).

4.15.6.2 Make variable function

See flat lattice (Lat-Flat).

4.15.6.3 Count function

See flat lattice (Lat-Flat).

4.15.6.4 Additional interface features

Below, we show the additional interface features of this lattice:

     domain: Lat

The domain feature corresponds to the lattice of the list domain.