blob: 37b3b5291b28358d8405fc7ac665f77ed88c02c0 (
plain)
1
2
3
4
5
6
7
8
9
|
signature FILE_IO = sig
(* When was a source file last modified (excluding files produced after [getResetTime])? *)
val mostRecentModTime : unit -> Time.time
val txtOpenIn : string -> TextIO.instream
val binOpenIn : string -> BinIO.instream
end
|
