Package: org.jcsp.util.ints

[Java] Interface ChannelDataStoreInt