module Make_output: functor (Model : Sosa.OUTPUT_MODEL) -> sig .. end
functor (
Model
:
Sosa.OUTPUT_MODEL
) ->
sig
end
val (>>=) : ('a, 'b, 'c) Model.thread -> ('a -> ('d, 'b, 'c) Model.thread) -> ('d, 'b, 'c) Model.thread
('a, 'b, 'c) Model.thread -> ('a -> ('d, 'b, 'c) Model.thread) -> ('d, 'b, 'c) Model.thread
val output : ('a, 'b, 'c) Model.channel -> t -> (unit, 'd, 'e) Model.thread
('a, 'b, 'c) Model.channel -> t -> (unit, 'd, 'e) Model.thread