Syntax.IHateParens.SortedSet

Reexports

Definitions

.asList : SortedSet a -> List a

Totality: total
Visibility: public export

.size : SortedSet a -> Nat

Totality: total
Visibility: public export

.asVect : (s : SortedSet a) -> Vect (s .size) a

Totality: total
Visibility: public export