Next: Abstract values and operations of level 0, Previous: Tree expressions of level 0, Up: Level 0 of the interface