Module Incr_select
include Incr_select__.Incr_select_intf.Incr_select
module Make : functor (Incr : Incremental.S) -> Incr_select__.Incr_select_intf.S with module Incr := IncrIncr_selectinclude Incr_select__.Incr_select_intf.Incr_selectmodule Make : functor (Incr : Incremental.S) -> Incr_select__.Incr_select_intf.S with module Incr := Incr