functor (Set : Set.S->
  sig
    val input_raw :
      (string -> IO.input -> Set.elt list) -> string list -> Set.elt list
    val input_raw_ch : (string -> '-> Set.elt list) -> '-> Set.elt list
  end