summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/example.ml2
-rw-r--r--src/primes.ml2
-rw-r--r--src/util.ml2
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