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