Idris2Doc
: Test.Async.Spec.Runner
Index
Default
Alternative
Black & White
Test.Async.Spec.Runner
(
source
)
Definitions
runTree
:
TestTree
e
->
Async
e
[] ()
Totality
:
total
Visibility
:
export