SkewBinaryRandomAccessList

Definitions

data SkewList : Type -> Type

Totality: total
Visibility: export
Constructor: 

SL : List (Int, Tree a) -> SkewList a

Hint: 

RandomAccessList SkewList