Lines Matching refs:file
77 fun write_tnn file tnn = write_tmdata (enc_tnn, map fst) file (dlist tnn)
78 fun read_tnn file = dnew Term.compare (read_tmdata dec_tnn file)
87 fun write_tnndim file tnndim = write_tmdata (enc_tnndim, map fst) file tnndim
88 fun read_tnndim file = read_tmdata dec_tnndim file
109 fun write_tnnex file ex =
110 write_tmdata (enc_tnnex, tml_of_tnnex) file ex
111 fun read_tnnex file =
112 read_tmdata dec_tnnex file
422 fun write_noparam file (_:unit) = ()
423 fun read_noparam file = ()
425 fun write_tnnarg file (ex,schedule,tnndim) =
427 write_tnnex (file ^ "_tnnex") ex;
428 write_schedule (file ^ "_schedule") schedule;
429 write_tnndim (file ^ "_tnndim") tnndim
431 fun read_tnnarg file =
433 val ex = read_tnnex (file ^ "_tnnex")
434 val schedule = read_schedule (file ^ "_schedule")
435 val tnndim = read_tnndim (file ^ "_tnndim")