diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 01:14:12 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 01:14:12 +0200 |
| commit | 8109ab47f06c12b1ca1317d0077b88094ce11464 (patch) | |
| tree | f9e97c1da1d7bd5074f4fb4a5bf6c6852028549a /src | |
| parent | 4a5ca97b0970e191332fb6fb4684a397b93390f5 (diff) | |
| download | SystemeReseaux-Projet-8109ab47f06c12b1ca1317d0077b88094ce11464.tar.gz SystemeReseaux-Projet-8109ab47f06c12b1ca1317d0077b88094ce11464.zip | |
Nothing.
Diffstat (limited to 'src')
| -rw-r--r-- | src/example.ml | 2 | ||||
| -rw-r--r-- | src/primes.ml | 2 | ||||
| -rw-r--r-- | src/util.ml | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/src/example.ml b/src/example.ml index 1b0f274..7b6f23e 100644 --- a/src/example.ml +++ b/src/example.ml @@ -1,3 +1,5 @@ +open Util + module Example (K : Kahn.S) = struct module K = K module Lib = Kahn.Lib(K) diff --git a/src/primes.ml b/src/primes.ml index a95fb64..592fdc9 100644 --- a/src/primes.ml +++ b/src/primes.ml @@ -1,3 +1,5 @@ +open Util + module Primes (K : Kahn.S) = struct module K = K module Lib = Kahn.Lib(K) diff --git a/src/util.ml b/src/util.ml index 5502398..5155fd7 100644 --- a/src/util.ml +++ b/src/util.ml @@ -1,5 +1,7 @@ open Unix +let (@@) a b = a b + type id = int * int let new_id () : id = (Random.int 100000, Random.int 100000) let id_str (a, b) = Format.sprintf "%d.%d" a b |