The Visibility subpackage of the Abstractions package provides basic constructs from which visibility semantics can be constructed.