Library incr_select

The entry point for this library is module Incr_select.