package speed

  1. Overview
  2. Docs
package speed
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type ExampleRunner.EXAMPLE_RUNNERSource

Sourcetype test_function
Sourcetype 'b cont_result
Sourcetype ('a, 'b) cont = 'a -> test_outcome -> 'b cont_result
Sourceval return : 'b -> 'b cont_result
Sourceval run : test_function -> 'a -> ('a, 'b) cont -> 'b cont_result
Sourceval wait : 'b cont_result -> 'b