package git
Module Smart_flow
type ('a, 's) raise = exn -> ('a, 's) Sigs.ioval run :
's Sigs.scheduler ->
('res, 's) raise ->
('flow, 'error, 's) Sigs.flow ->
'flow ->
('res, [ `Protocol of Smart.error ]) Smart.t ->
('res, 's) Sigs.io