Map.Source
Module which satisfies the interface Interfaces.SOURCE
Interfaces.SOURCE
module Value : Interfaces.ANY
type 'a map = 'a t
include Interfaces.SOURCE with type item = Key.t * Value.t
type item = Key.t * Value.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 : Value.t map -> t