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