The names of the product elements
The name of the type
DotFun is a dot store implementation that maps dots to values of a Lattice type. See interfaces.MVRegisterInterface for a usage example.