Suspensions and Streams

susp.sig

  signature SUSP: interface of suspensions

susp.sml

  structure Susp: implementation of suspensions

stream.sig

  signature STREAM: interface of streams

stream.sml

  structure Stream: implementation of streams

stream.cm

  CM description file