export const BaseStream = $.type("java.util.stream.BaseStream");
export const Collector = $.type("java.util.stream.Collector");
export const Collector$Characteristics = $.type("java.util.stream.Collector$Characteristics");
export const DoubleStream = $.type("java.util.stream.DoubleStream");
export const DoubleStream$Builder = $.type("java.util.stream.DoubleStream$Builder");
export const IntStream = $.type("java.util.stream.IntStream");
export const IntStream$Builder = $.type("java.util.stream.IntStream$Builder");
export const LongStream = $.type("java.util.stream.LongStream");
export const LongStream$Builder = $.type("java.util.stream.LongStream$Builder");
export const Stream = $.type("java.util.stream.Stream");
export const Stream$Builder = $.type("java.util.stream.Stream$Builder");
