CML Buffers of Length at Most One

buffer.cm

  CM description file

buffer.sig

  signature BUFFER: CML buffers of length at most one

buffer.sml

  structure Buffer: CML buffers of length at most one

main.sig

  signature MAIN: main processing

main.sml

  structure Main: main processing