Functor Sosa.List_of.Make_output (.ml)

module Make_output: 
functor (Model : Sosa.OUTPUT_MODEL) -> sig .. end

val (>>=) : ('a, 'b, 'c) Model.thread ->
       ('a -> ('d, 'b, 'c) Model.thread) -> ('d, 'b, 'c) Model.thread

val output : ('a, 'b, 'c) Model.channel -> Char.t list -> (unit, 'd, 'e) Model.thread