Up
—
package
async_kernel
Module type
Async_kernel__.Async_invariant_intf.Async.S3
type
('a, 'b, 'c) t
val
invariant :
'a
inv
‑>
'b
inv
‑>
'c
inv
‑>
(
'a
,
'b
,
'c
)
t
inv