Structure AssembleDiskFiles


Source File Identifier index Theory binding index

signature AssembleDiskFiles =
sig
  val raw_read_stream : TextIO.instream -> DiskFilesHeader.parse_result
  val raw_read_file : string -> DiskFilesHeader.parse_result
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10