Library core_extended.selection

The entry point for this library is module Selector.