sig
  type init
  type input
  type output
  val client : JoinHelper.configuration -> unit
  val server :
    JoinHelper.configuration ->
    JoinMapRed.S.init ->
    ('a, JoinMapRed.S.input) JoinPool.Simple.enum ->
    JoinMapRed.S.output -> JoinMapRed.S.output
end