Functor Sosa.BASIC_STRING.Make_output

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

Make_output(Asynchronous_output_model) provides a function Sosa.BASIC_STRING.Make_output.output given any Sosa.OUTPUT_MODEL.

Parameters:

Model : Sosa.OUTPUT_MODEL

val output : ('a, 'b, 'c) Model.channel ->
       Sosa.BASIC_STRING.t -> (unit, 'e, 'f) Model.thread

Output a string to a channel.