Commits

Dmitry Grebeniuk  committed 6dc4327

.

  • Participants
  • Parent commits b0f11ae

Comments (0)

Files changed (1)

File dumbstreaming_it.ml

 module type IT_TYPE
  =
   sig
+    type iteratee 'el 'a;
   end
 ;
 
 
+type ntotal = int
+ and npart = int
+ and nbytes = int
+;
+
+
 module Make (I : IT_TYPE)
  :
   sig
-    value read : (ntotal -> npart -> nbytes -> iteratee char 'i)
-              -> iteratee 'i 'a
-              -> iteratee char 'a
+    value read : (ntotal -> npart -> nbytes -> I.iteratee char 'i)
+              -> I.iteratee 'i 'a
+              -> I.iteratee char 'a
     ;
   end
  =
   struct
-    .
+    value read _get_piece_iteratee _combine_pieces =
+      failwith "not implemented"
+    ;
   end
 ;