Closed this issue 12 years ago · 1 comments
A FIFO.t should be parametrised by an integer, explaining what is its size.
A quick implementtion, with a size parameter, which is compared with the length of the list to answer the isfull request. This type must be made manifest in the BS description.