package sosa

  1. Overview
  2. Docs
type ('a, 'b, 'c) thread
type ('a, 'b, 'c) channel
val return : 'a -> ('a, 'b, 'c) thread
val bind : ('a, 'b, 'c) thread -> ('a -> ('d, 'b, 'c) thread) -> ('d, 'b, 'c) thread
val output : ('a, 'b, 'c) channel -> String.t -> (unit, 'e, 'f) thread