Commits

Anonymous committed 4716126

comments

Comments (0)

Files changed (1)

 ;
 
 
+(* +
+   here the buffer will be copied just once, [sl] will be reused
+   on next calls to enumerator.
+*)
+
 value enumpart_readchars
  : ! 'ch .
    ~buffer_size:int ->