Up
–
async_kernel
»
Async_kernel__
»
Async_invariant_intf
»
Async
» S2
Module type
Async.S2
type
('a, 'b) t
val
invariant :
'a
inv
->
'b
inv
->
(
'a
,
'b
)
t
inv