Package: jcsp.util.ints

[Java] Interface ChannelDataStoreInt