(* File input handling *)

structure Read_Input : READ_INPUT =
struct

  fun input fname =
    let val stream = TextIO.openIn fname
    in TextIO.inputAll stream before TextIO.closeIn stream
    end

end;