-
Notifications
You must be signed in to change notification settings - Fork 16
/
client.mli
26 lines (26 loc) · 993 Bytes
/
client.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
exception Bug of string
type 'a bottomQ_entry
type reconbound
exception Continue
val send_request :
< outchan : out_channel; write_int : int -> 'a; .. > ->
'b PrefixTree.tree ->
bottomQ:(PrefixTree.node * Bitstring.t) bottomQ_entry Queue.t ->
PrefixTree.node * Bitstring.t -> unit
val handle_reply :
< outchan : out_channel; write_int : int -> 'a; .. > ->
'b PrefixTree.tree ->
requestQ:(PrefixTree.node * Bitstring.t) Queue.t ->
ReconMessages.msg_container ->
PrefixTree.node * Bitstring.t -> ZZp.Set.t ref -> unit
val connection_manager :
< fd : UnixLabels.file_descr; read_int : int;
read_string : int -> string; .. > ->
< flush : 'a; outchan : out_channel; write_int : int -> 'b; .. > ->
'c PrefixTree.tree -> PrefixTree.node * Bitstring.t -> ZZp.Set.t
val handle :
'a PrefixTree.tree ->
< fd : UnixLabels.file_descr; read_int : int;
read_string : int -> string; .. > ->
< flush : 'b; outchan : out_channel; write_int : int -> 'c; .. > ->
ZZp.Set.t