Module Cf_flow.Op


module Op: sig .. end
Open this module to bring the operator functions into the current scope.

val (-*-) : ('a, 'b) Cf_flow.t -> ('a, 'b) Cf_flow.t -> ('a, 'b) Cf_flow.t
Broadcasting parallel composition.
val (-=-) : ('a, 'b) Cf_flow.t -> ('b, 'c) Cf_flow.t -> ('a, 'c) Cf_flow.t
Serial composition.
val (-&-) : ('a, 'b) Cf_flow.t -> ('a, 'b) Cf_flow.t -> ('a, 'b) Cf_flow.t
Sequential composition.
val (-+-) : ('a, 'b) Cf_flow.t ->
('c, 'd) Cf_flow.t -> (('a, 'c) Cf_either.t, ('b, 'd) Cf_either.t) Cf_flow.t
Tagged parallel composition.
val (~@) : ('a, 'a) Cf_flow.t -> ('a, 'a) Cf_flow.t
Serial loop composition.
val (~@<) : (('a, 'b) Cf_either.t, ('a, 'c) Cf_either.t) Cf_flow.t -> ('b, 'c) Cf_flow.t
Serial loop left.
val (-@-) : (('a, 'b) Cf_either.t, ('c, 'd) Cf_either.t) Cf_flow.t ->
('c, 'a) Cf_flow.t -> ('b, 'd) Cf_flow.t
Serial loop through right.