File: server.mli

package info (click to toggle)
sks 1.1.5-1~bpo70%2B1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy-backports
  • size: 2,076 kB
  • sloc: ml: 15,262; ansic: 1,069; makefile: 346; sh: 279
file content (21 lines) | stat: -rw-r--r-- 689 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
exception Bug of string
val solving : float ref
val lookup : float ref
val flushtime : float ref
val unmarsh_time : float ref
val solve :
  remote_size:int ->
  local_size:int ->
  remote_samples:ZZp.mut_array ->
  local_samples:ZZp.mut_array ->
  points:ZZp.zz array -> (ZZp.Set.t * ZZp.Set.t) option
val handle_one :
  'a PrefixTree.tree ->
  < read_int : int; read_string : int -> string; .. > ->
  < flush : 'b; outchan : out_channel; write_int : int -> 'c; .. > ->
  bool * ZZp.Set.t
val recover_timeout : int
val handle :
  'a PrefixTree.tree ->
  < read_int : int; read_string : int -> string; .. > ->
  < flush : 'b; outchan : out_channel; write_int : int -> 'c; .. > -> ZZp.Set.t