sig
  type t = string
  val read :
    string -> string -> (Pervasives.in_channel -> 'a) -> string -> 'a
  val contain : string -> string -> bool
end