Idris2Doc
: Data.Ops
Index
Default
Alternative
Black & White
Data.Ops
(
source
)
This module export the operators used with their fixity