Up
–
async_kernel
»
Async_kernel__Async_invariant_intf
»
Async_invariant
»
Async
» S
Module type
Async.S
type
t
val
invariant :
t
Async.inv