forAll ()
for
All
<
T
>
(
p
)
:
(
(
x
)
=>
boolean
)
Type Parameters
T
Parameters
p
:
(
(
_
)
=>
boolean
)
(
_
)
:
boolean
Parameters
_
:
T
Returns
boolean
Returns
(
(
x
)
=>
boolean
)
(
x
)
:
boolean
Parameters
x
:
Opt
<
T
>
Returns
boolean
See
Opt.forAll
Back to index
See
Opt.forAll