summaryrefslogtreecommitdiff
path: root/src/kahn.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 01:00:44 +0200
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 01:00:44 +0200
commit4a5ca97b0970e191332fb6fb4684a397b93390f5 (patch)
treeb833cd9bf8f21514f5c0ae2ece473ac398aff251 /src/kahn.ml
parent6e750a757ef6fb1f41cf4c2fe39edba834b76858 (diff)
downloadSystemeReseaux-Projet-4a5ca97b0970e191332fb6fb4684a397b93390f5.tar.gz
SystemeReseaux-Projet-4a5ca97b0970e191332fb6fb4684a397b93390f5.zip
./manager -pool-addr mypool -pool-count 16 -my-addr my_addr ./example.native
Diffstat (limited to 'src/kahn.ml')
-rw-r--r--src/kahn.ml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/kahn.ml b/src/kahn.ml
index 08eac19..a458724 100644
--- a/src/kahn.ml
+++ b/src/kahn.ml
@@ -7,6 +7,8 @@ module type S = sig
val put: 'a -> 'a out_port -> unit process
val get: 'a in_port -> 'a process
+ val output: string -> unit
+
val select: ('a in_port * ('a -> 'b)) list -> 'b process
val select_default: ('a in_port * ('a -> 'b)) list -> (unit -> 'b) -> 'b process
@@ -14,7 +16,6 @@ module type S = sig
val return: 'a -> 'a process
val bind: 'a process -> ('a -> 'b process) -> 'b process
- val bind_io: 'a process -> ('a -> 'b process) -> 'b process
val run: 'a process -> 'a
end