sig
  type string
  type pattern
  val compile : CCKMP.S.string -> CCKMP.S.pattern
  val find : pattern:CCKMP.S.pattern -> CCKMP.S.string -> int -> int option
  val search : pattern:CCKMP.S.pattern -> CCKMP.S.string -> int option
  val find_all :
    pattern:CCKMP.S.pattern -> CCKMP.S.string -> int -> int CCKMP.gen
  val seq :
    pattern:CCKMP.S.pattern -> CCKMP.S.string -> int -> int CCKMP.sequence
  val search' : pattern:CCKMP.S.string -> CCKMP.S.string -> int option
  val find_all' : pattern:CCKMP.S.string -> CCKMP.S.string -> int CCKMP.gen
  val seq' : pattern:CCKMP.S.string -> CCKMP.S.string -> int CCKMP.sequence
end