Up
–
incr_select
»
Incr_select__
» Incr_select_intf
Module
Incr_select__.Incr_select_intf
module
type
S
=
sig
...
end
module
type
Incr_select
=
sig
...
end