Set.Source
type set = t
include Interfaces.SOURCE with type item = Key.t
type item = Key.t
Type of items coming from the source.
type t
t A stream of items.
t
val has_more : t -> bool
has_more s Does the stream s have more items?
has_more s
s
val peek : t -> item
peek s Peek the next item from the stream s.
peek s
Precondition: has_more s
val advance : t -> t
advance s Pop the top item off the stream s.
advance s
val make : set -> t