Module CCKMP

module CCKMP: sig .. end

Knuth-Morris-Pratt



module type STRING = sig .. end
type 'a gen = unit -> 'a option 
type 'a sequence = ('a -> unit) -> unit 
module type S = sig .. end
module Make (Str : STRING) : S  with type string = Str.t
include CCKMP.S