Idris2Doc
: LinearAnd
Index
Default
Alternative
Black & White
LinearAnd
(
source
)
Definitions
(-&&)
: (
1
_
:
Bool
)
->
(
1
_
: Lazy
Bool
)
->
Bool
Visibility
:
export
Fixity Declaration
: infixr operator, level 5