Interfaces.SINK
Interface for a sink of items.
type item
Type of items to be received by the sink.
type t
t A sink for items.
t
val needs_more : t -> bool
needs_more s Is the sink s able to accept more items?
needs_more s
s
val put : item -> t -> t
put item sink Put the item to the sink.
put item sink
Precondition: needs_more sink.
needs_more sink
val put_end : t -> t
put_end sink signals to the sink that there are no more items coming.
put_end sink