functor
(
Ix
:
Store_intf
.
INDEX
)
->
Store_intf
.
STORE