functor (Model : OUTPUT_MODEL) ->
  sig
    val output :
      ('a, 'b, 'c) Model.channel ->
      Api.BASIC_STRING.t -> (unit, 'e, 'f) Model.thread
  end