package fmlib_std

  1. Overview
  2. Docs
package fmlib_std
Legend:
Library
Module
Module type
Parameter
Class
Class type
type set = t

Standard API

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.

val has_more : t -> bool

has_more s Does the stream s have more items?

val peek : t -> item

peek s Peek the next item from the stream s.

Precondition: has_more s

val advance : t -> t

advance s Pop the top item off the stream s.

Precondition: has_more s

Create a stream

val make : set -> t