Up
—
package
async_kernel
Module type
Async_kernel__Async_invariant_intf.Async_invariant.Async.S2
type
('a, 'b) t
val
invariant :
'a
Async.inv
‑>
'b
Async.inv
‑>
(
'a
,
'b
)
t
Async.inv