Searched defs:file_of_string (Results 1 - 1 of 1) sorted by relevance

/hets/HolLight/OcamlTools/exportTools/
H A Doverload_loadfile.ml69 let file_of_string filename s = var
78 file_of_string filename exptext;
134 in (file_of_string filename "type_invention_warning:=false";
140 in (file_of_string filename "verbose:=false";

Completed in 224 milliseconds