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