Up
–
async_kernel
»
Async_kernel__
»
Async_invariant_intf
»
Async
» S1
Module type
Async.S1
type
'a t
val
invariant :
'a
inv
->
'a
t
inv