Top: typeof Top = ...

The Top symbol to represent the Top element of complete lattices (e.g. of abstract domains).