Idris2Doc : Data.List.Alternating

Data.List.Alternating

flatten : Odd (Oddab) b -> Oddab
Totality: total
singleton : a -> Oddab
Totality: total