sig
  val search : string -> string -> int -> int -> int
  val search_case_fold : string -> string -> int -> int -> int
end