BinaryRandomAccessList

Definitions

data BinaryList : Type -> Type

Totality: total
Visibility: export
Constructor: 

BL : List (Digit a) -> BinaryList a

Hint: 

RandomAccessList BinaryList