map

JavaCollectionOps

max

Interval

min

Interval

minimal

Interval

mkEmptyCollection

ArrayListMaker JavaCollectionMaker LinkedListMaker ListMaker StackMaker

mkString

JavaCollectionOps