Idris2Doc
: Pact.API.Operator
Index
Default
Alternative
Black & White
Pact.API.Operator
(
source
)
Define operator precedences for the API DSL