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

/seL4-l4v-10.1.1/HOL4/src/HolSat/
H A DsatCommonTools.sml39 let val fout = TextIO.openOut (fname^".term") value
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.C178 ClauseId Proof::parseRoot(vec<Lit>& clause, File& fp, uint64 tmp, std::ofstream* fout) { argument
219 parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, File& fp, uint64 tmp, ClauseId id, std::ofstream* fout) argument
[all...]
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttUnfold.sml975 val fout = ttt_code_dir ^ "/quoteString2" ^ thy value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sml944 fun fout f = (f,assoc (#2(dom_rng(type_of f))) ty_outs) function

Completed in 41 milliseconds