OpenTheory.Parser.Stream

data Stream a

append

fromList

lengthStream

mapStream

toList