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