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